Communicating Sequential Processes. The First 25 Years

DOI10.1007/B136154MaRDI QIDQ5709368zbMATH OpenOpenAlexFDO

Authors Frederick R. M. Barnes, Peter H. Welch

Publication date 29 November 2005

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A calculus of mobile processes. I
• Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
• scientific article; zbMATH DE number 1420796
• Controlling Process Modularity in Mobile Computing
• scientific article; zbMATH DE number 1296290

Cited in

(8)

• The symbiosis of concurrency and verification: teaching and case studies
• occam-pi
• Denotational semantics of channel mobility in UTP-CSP
• PiStache: implementing -calculus in Scala
• Process algebra and model checking
• BlenX Static and Dynamic Semantics
• Compositional specification in rewriting logic
• Separation Logic Semantics for Communicating Processes

Describes a project that uses

Uses Software

• KRoC

This page was built for publication: Communicating Sequential Processes. The First 25 Years

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