Cover Image

Global types and event structure semantics for asynchronous multiparty sessions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola
Format:	Preprint
Published:	2021
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Modular Multiparty Sessions with Mixed Choice
by: Barbanera, Franco, et al.
Published: (2025)

Asynchronous Multiparty Sessions with Mixed Choice
by: Barbanera, Franco, et al.
Published: (2026)

Sensible Intersection Type Theories
by: Dezani-Ciancaglini, Mariangiola, et al.
Published: (2026)

Partial Typing for Asynchronous Multiparty Sessions
by: Barbanera, Franco, et al.
Published: (2024)

Towards a Semantic Characterisation of Global Type Well-formedness
by: Castellani, Ilaria, et al.
Published: (2024)

Bilateral base-extension semantics
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Yet another cubical type theory, but via a semantic approach
by: Kapulkin, Chris, et al.
Published: (2025)

Denotational semantics driven simplicial homology?
by: Barbarossa, Davide
Published: (2024)

Filling in the semantics for intuitionistic conditional logic
by: Dufty, Brendan, et al.
Published: (2025)

Constructive characterisations of the must-preorder for asynchrony
by: Bernardi, Giovanni, et al.
Published: (2025)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

Syntax and semantics of multi-adjoint normal logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

On the number of asynchronous attractors in AND-NOT Boolean networks
by: Trinh, Van-Giang, et al.
Published: (2025)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
by: d'Aragona, Antonio Piccolomini
Published: (2025)

T-BAT semantics and its logics
by: Pawlowski, Pawel
Published: (2025)

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

Axiomatisation for an asynchronous epistemic logic with sending and receiving messages
by: Balbiani, Philippe, et al.
Published: (2025)

On Kleisli liftings and decorated trace semantics
by: Luckhardt, Daniel, et al.
Published: (2024)

There are (other) ways to negate in propositional team semantics
by: Yang, Fan
Published: (2024)

Simple grammar bisimilarity, with an application to session type equivalence
by: Poças, Diogo, et al.
Published: (2024)

Denotational reasoning for asynchronous multiparty session types
by: McDermott, Dylan, et al.
Published: (2026)

A dependently-typed calculus of event telicity and culminativity
by: Kovalev, Pavel, et al.
Published: (2025)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
by: Dowek, Gilles, et al.
Published: (2023)

Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)
by: Fernandes, Vítor, et al.
Published: (2024)

Protocol insecurity with finitely many sessions and XOR
by: Ramanujam, R, et al.
Published: (2025)

Checkpoint-based rollback recovery in session programming
by: Mezzina, Claudio Antares, et al.
Published: (2023)

Logics with probabilistic team semantics and the Boolean negation
by: Hannula, Miika, et al.
Published: (2023)

Operational semantics and program verification using many-sorted hybrid modal logic
by: Leustean, Ioana, et al.
Published: (2019)

Higher-order bialgebraic semantics
by: Goncharov, Sergey, et al.
Published: (2024)

Realizing the totally unordered structure of ordinals
by: Fontanella, Laura, et al.
Published: (2025)

Bijective proofs for Eulerian numbers of types B and D
by: Santocanale, Luigi
Published: (2021)

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)

List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

Quantum Petri Nets with Event Structures semantics
by: Joachim, Julien Saan, et al.
Published: (2025)

Quantum Petri Nets with Event Structure semantics
by: Joachim, Julien Saan, et al.
Published: (2025)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

Combining contextuality and causality: a game semantics approach
by: Abramsky, Samson, et al.
Published: (2023)