Finitary logics for some CCS observational bisimulations

DOI10.1016/0020-0190(92)90141-HzbMath0779.68031OpenAlexW2059837711MaRDI QIDQ1198052

Miranda Mowbray

Publication date: 16 January 1993

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(92)90141-h

zbMATH Keywords

formal semanticsCCSfinitary modal logicconcurrencesobservational bisimulations

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55)

Cites Work

• Concurrency and atomicity
• A calculus of communicating systems
• Algebraic laws for nondeterminism and concurrency
• Unnamed Item
• Unnamed Item

This page was built for publication: Finitary logics for some CCS observational bisimulations