Global types and event structure semantics for asynchronous multiparty sessions

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday
Linear logical relations and observational equivalences for session-based concurrency
Reversibility and asymmetric conflict in event structures
A partial ordering semantics for CCS
Typed event structures and the linear $\pi $-calculus
Fundamental properties of infinite trees
Petri nets, event structures and domains. I
The connection between an event structure semantics and an operational semantics for TCSP
Flow models of distributed computations: Three equivalent semantics for CCS
On the boundary between decidability and undecidability of asynchronous session subtyping
Well-behaved flow event structures for parallel composition and action refinement
Composition and decomposition of multiparty sessions
Global types with internal delegation
Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment)
Reversible sessions with flexible choices
Reversibility in session-based concurrency: a fresh look
Undecidability of asynchronous session subtyping
A type system for lock-free processes
Subtyping for session types in the pi calculus
Type-based information flow analysis for the $\pi$-calculus
Event structure semantics for multiparty sessions
Types and programing languages
From communicating machines to graphical choreographies
Propositions as sessions
Multiparty Session Types Meet Communicating Automata
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
Full Abstraction in a Subtyped pi-Calculus with Linear Types
Multiparty Asynchronous Session Types
Rigid Families for the Reversible $$\pi $$ -Calculus
Reversing Single Sessions
Multiparty asynchronous session types
Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types
Compositional Event Structure Semantics for the Internal π-Calculus
Session Types as Intuitionistic Linear Propositions
Global Principal Typing in Partially Commutative Asynchronous Sessions
A Theory of Communicating Sequential Processes
Observational Equivalence for Multiparty Sessions
Models, Languages, and Tools for Concurrent and Distributed Programming
Dynamic multirole session types
Global progress for dynamically interleaved multiparty sessions
Linear logic propositions as session types
A New Type System for Deadlock-Free Processes
Deconfined Global Types for Asynchronous Sessions
Event structure semantics of (controlled) reversible CCS

This page was built for publication: Global types and event structure semantics for asynchronous multiparty sessions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6614546)