A modal logic for message passing processes

DOI10.1007/BF01178384zbMath0827.68102OpenAlexW4234959115MaRDI QIDQ1894680

Xin Xin Liu, Matthew C. B. Hennessy

Publication date: 24 July 1995

Published in: Acta Informatica (Search for Journal in Brave)

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

zbMATH Keywords

first-order modal logicsymbolic operational semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties, Unnamed Item, Reasoning about higher-order processes, Mathematical modal logic: A view of its evolution, Proof systems for message-passing process algebras, On bidirectional runtime enforcement

Uses Software

• LOTOS

Cites Work

• Modal logics for communicating systems
• Modal logics for mobile processes
• A proof system for communicating processes with value-passing
• Unnamed Item
• Unnamed Item