CONCUR 2005 – Concurrency Theory

DOI10.1007/11539452MaRDI QIDQ5897474zbMATHOpenAlexFDO

Authors Jim Laird

Publication date 1 November 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11539452

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A truly concurrent game model of the asynchronous \(\pi\)-calculus
• Asynchronous games. II: The true concurrency of innocence
• A fully abstract denotational semantics for the \(\pi\)-calculus
• Game Semantics for Higher-Order Concurrency
• A Game Semantics of Idealized CSP

Cited in

(17)

• The far side of the cube. An elementary introduction to game semantics
• A graph abstract machine describing event structure composition
• Processes, systems \& tests: defining contextual equivalences
• Non-angelic concurrent game semantics
• scientific article; zbMATH DE number 1670841 (Why is no real title available?)
• A truly concurrent game model of the asynchronous \(\pi\)-calculus
• Ludics is a Model for the Finitary Linear Pi-Calculus
• Partial Orders, Event Structures and Linear Strategies
• Full abstraction in a subtyped pi-calculus with linear types
• A fully abstract denotational semantics for the \(\pi\)-calculus
• On bisimulations for the asynchronous π-calculus
• Justified sequences in string diagrams: a comparison between two approaches to concurrent game semantics
• Game Semantics for Higher-Order Concurrency
• CONCUR 2004 - Concurrency Theory
• scientific article; zbMATH DE number 7450001 (Why is no real title available?)
• On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus
• scientific article; zbMATH DE number 1543081 (Why is no real title available?)

This page was built for publication: CONCUR 2005 – Concurrency Theory

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