A more complete model of communicating processes

DOI10.1016/0304-3975(83)90081-6zbMath0513.68020OpenAlexW2152279394MaRDI QIDQ1050768

J. Blot

Publication date: 1983

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

Full work available at URL: https://doi.org/10.1016/0304-3975(83)90081-6

zbMATH Keywords

partial recursive functionspredicatescalculus of total correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items

Compositional semantics for real-time distributed computing ⋮ Calculi of net structures and sets are similar ⋮ Specification-oriented semantics for communicating processes ⋮ Variables and scopes considered formally

Cites Work

• Unnamed Item
• A calculus of total correctness for communicating processes
• A Theory of Communicating Sequential Processes