The laws of Occam programming

DOI10.1016/0304-3975(88)90049-7zbMath0719.68039OpenAlexW4212811695MaRDI QIDQ2640348

A. W. Roscoe, C. A. R. Hoare

Publication date: 1988

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(88)90049-7

zbMATH Keywords

Occamalgebraic semantics of parallel processes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (18)

An algebraic hardware/software partitioning algorithm ⋮ From Safety Critical Java Programs to Timed Process Models ⋮ Revisiting sequential composition in process calculi ⋮ A New Roadmap for Linking Theories of Programming ⋮ The projection of systolic programs ⋮ Formal communication elimination and sequentialization equivalence proofs for distributed system models ⋮ A proof system for communicating processes with value-passing ⋮ Communicating processes with value-passing and assignments ⋮ Unifying theories of reactive design contracts ⋮ A theory of software product line refinement ⋮ Interfaces between languages for communicating systems ⋮ A Formal Model for a Hybrid Programming Language ⋮ Proof systems for message-passing process algebras ⋮ Receptive process theory ⋮ Correct hardware synthesis ⋮ Towards a Modeling Language for Cyber-Physical Systems ⋮ On fairness notions in distributed systems. I: A characterization of implementability ⋮ Formal Sequentialization of Distributed Systems via Program Rewriting

Cites Work

• Laws of programming
• A Proof System for Communicating Sequential Processes
• Programming as a Discipline of Mathematical Nature
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The laws of Occam programming