A Small Step for Mankind

DOI10.1007/978-3-642-11512-7_5zbMath1274.68170OpenAlexW1495036963MaRDI QIDQ5187820

Ron Koymans, Ruurd Kuiper, Cornelis Huizing

Publication date: 9 March 2010

Published in: Concurrency, Compositionality, and Correctness (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11512-7_5

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Compositional semantics for real-time distributed computing
• A Proof System for Communicating Sequential Processes

This page was built for publication: A Small Step for Mankind