Event structure semantics for multiparty sessions (Q2683035): Difference between revisions

@@ Property / author @@
+Mariangiola Dezani-Ciancaglini
@@ Property / author: Mariangiola Dezani-Ciancaglini / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4310480356
@@ Property / OpenAlex ID: W4310480356 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204033
@@ Property / cites work: Q3204033 / rank @@
+Normal rank
@@ Property / cites work @@
+The connection between an event structure semantics and an operational semantics for TCSP
+Normal rank
@@ Property / cites work @@
+Q5144682
@@ Property / cites work: Q5144682 / rank @@
+Normal rank
@@ Property / cites work @@
+Composition and decomposition of multiparty sessions
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for causality in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4721639
@@ Property / cites work: Q4721639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805920
@@ Property / cites work: Q3805920 / rank @@
+Normal rank
@@ Property / cites work @@
+Flow models of distributed computations: Three equivalent semantics for CCS
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Event Structure Semantics for Nominal Calculi
@@ Property / cites work: Event Structure Semantics for Nominal Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Session Types as Intuitionistic Linear Propositions
+Normal rank
@@ Property / cites work @@
+Linear logic propositions as session types
@@ Property / cites work: Linear logic propositions as session types / rank @@
+Normal rank
@@ Property / cites work @@
+Models, Languages, and Tools for Concurrent and Distributed Programming
+Normal rank
@@ Property / cites work @@
+Parallel product of event structures
@@ Property / cites work: Parallel product of event structures / rank @@
+Normal rank
@@ Property / cites work @@
+Models for name-passing processes: Interleaving and causal
+Normal rank
@@ Property / cites work @@
+Global progress for dynamically interleaved multiparty sessions
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Event Structure Semantics for the Internal π-Calculus
+Normal rank
@@ Property / cites work @@
+Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
+Normal rank
@@ Property / cites work @@
+Rigid Families for CCS and the $$\pi $$ -calculus
@@ Property / cites work: Rigid Families for CCS and the $$\pi $$ -calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Rigid Families for the Reversible $$\pi $$ -Calculus
+Normal rank
@@ Property / cites work @@
+Refinement of actions in event structures and causal trees
+Normal rank
@@ Property / cites work @@
+A distributed operational semantics of CCS based on condition/event systems
+Normal rank
@@ Property / cites work @@
+A partial ordering semantics for CCS
@@ Property / cites work: A partial ordering semantics for CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent histories: a basis for observing distributed systems
+Normal rank
@@ Property / cites work @@
+Non-interleaving semantics for mobile processes
@@ Property / cites work: Non-interleaving semantics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic multirole session types
@@ Property / cites work: Dynamic multirole session types / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Session Types Meet Communicating Automata
+Normal rank
@@ Property / cites work @@
+Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday
+Normal rank
@@ Property / cites work @@
+Comparing syntactic and semantic action refinement
+Normal rank
@@ Property / cites work @@
+Event structure semantics of (controlled) reversible CCS
+Normal rank
@@ Property / cites work @@
+Towards a categorical representation of reversible event structures
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Asynchronous Session Types
@@ Property / cites work: Multiparty Asynchronous Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Causality and true concurrency: A data-flow analysis of the Pi-Calculus
+Normal rank
@@ Property / cites work @@
+Systolic arrays for the recognition of permutation-invariant segments
+Normal rank
@@ Property / cites work @@
+From Communicating Machines to Graphical Choreographies
+Normal rank
@@ Property / cites work @@
+Q5748880
@@ Property / cites work: Q5748880 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030243
@@ Property / cites work: Q3030243 / rank @@
+Normal rank
@@ Property / cites work @@
+Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types
+Normal rank
@@ Property / cites work @@
+Linear logical relations and observational equivalences for session-based concurrency
+Normal rank
@@ Property / cites work @@
+Reversibility and asymmetric conflict in event structures
+Normal rank
@@ Property / cites work @@
+Proof-Carrying Code in a Session-Typed Process Calculus
+Normal rank
@@ Property / cites work @@
+Well-behaved flow event structures for parallel composition and action refinement
+Normal rank
@@ Property / cites work @@
+Typed event structures and the linear \(\pi \)-calculus
+Normal rank
@@ Property / cites work @@
+Propositions as sessions
@@ Property / cites work: Propositions as sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4650579
@@ Property / cites work: Q4650579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667958
@@ Property / cites work: Q3667958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733435
@@ Property / cites work: Q4733435 / rank @@
+Normal rank