CONCUR 2004 - Concurrency Theory

DOI10.1007/B100113MaRDI QIDQ5311501zbMATH OpenOpenAlexFDO

Authors Martin Berger

Publication date 23 August 2005

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

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Timed extensions of calculus
• Timed -calculus
• scientific article; zbMATH DE number 1223738
• On confluence in the -calculus
• Concurrent and Located Synchronizations in π-Calculus

Cited in

(13)

• A process calculus BigrTiMo of mobile systems and its formal semantics
• A synchronous -calculus
• Linear forwarders
• \(\pi\)-calculus with noisy channels
• Genericity and the \(\pi\)-calculus
• Value-passing CCS with noisy channels
• A calculus of quality for robustness against unreliable communication
• Foundations of Software Science and Computational Structures
• Timed mobility in process algebra and Petri nets
• A pi-calculus based semantics for WS-BPEL
• Strategy based semantics for mobility with time and access permissions
• A timed semantics of Orc
• A theory of system behaviour in the presence of node and link failure

This page was built for publication: CONCUR 2004 - Concurrency Theory

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