A modal logic for message passing processes

DOI10.1007/BF01178384MaRDI QIDQ1894680zbMATH OpenOpenAlexFDO

Authors Xin Xin Liu, Matthew 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)

Recommendations

• scientific article; zbMATH DE number 1231562
• scientific article; zbMATH DE number 1487725
• scientific article; zbMATH DE number 1231561
• Proof systems for message-passing process algebras
• Modal logics for mobile processes

Cites work

• scientific article; zbMATH DE number 4056971 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A proof system for communicating processes with value-passing
• Modal logics for communicating systems
• Modal logics for mobile processes

Cited in

(20)

• scientific article; zbMATH DE number 4118343 (Why is no real title available?)
• Modal logics for mobile processes
• On bidirectional runtime enforcement
• A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
• On decidability and model checking for a first order modal logic for value-passing process
• scientific article; zbMATH DE number 1670846 (Why is no real title available?)
• Can message buffers be axiomatized in linear temporal logic?
• Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
• Modal logics for nominal transition systems
• Reasoning about higher-order processes
• Modal logics for cryptographic processes
• A message-passing interpretation of adjoint logic
• Mathematical modal logic: A view of its evolution
• Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
• Proof systems for message-passing process algebras
• Reasoning about layered message passing systems
• Unique fixpoint induction for message-passing process calculi
• scientific article; zbMATH DE number 972583 (Why is no real title available?)
• The logic of message-passing
• scientific article; zbMATH DE number 1231561 (Why is no real title available?)

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication: A modal logic for message passing processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1894680)