✦ LIBER ✦

A modal logic for message passing processes

✍ Scribed by M. Hennessy, X. Liu

Book ID: 118772285
Publisher: Springer-Verlag
Year: 1995
Tongue: English
Weight: 960 KB
Volume: 32
Category: Article
ISSN: 0001-5903
DOI: 10.1007/bf01178384

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On decidability and model checking for a

On decidability and model checking for a first order modal logic for value-passing processes

✍ Rui Xue; Huimin Lin 📂 Article 📅 2003 🏛 Science in China Press (SCP) 🌐 English ⚖ 255 KB

Mechanising a Modal Logic for Value-Pass

Mechanising a Modal Logic for Value-Passing Agents in HOL

✍ Monica Nesi 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 906 KB

An extension of Hennessy-Milner logic to value-passing CCS is embedded in the HOL system. The resulting proof environment allows one to formally verify modal properties of communicating agents, which are de ned over an in nite value domain.

A generalized message-passing mechanism

A generalized message-passing mechanism for communicating sequential processes

✍ Lenders, P.M. 📂 Article 📅 1988 🏛 IEEE 🌐 English ⚖ 554 KB

Modal Logics for Cryptographic Processes

✍ Ulrik Frendrup; Hans Hüttel; Jesper Nyholm Jensen 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 214 KB

A modal μ-calculus and a proof system fo

A modal μ-calculus and a proof system for value passing processes

✍ Dilian Gurov; Sergei Berezin; B.M. Kapron 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 31 KB

A first-order modal µ-calculus is introduced as a convenient logic for reasoning about processes with value passing. For this logic we present a proof system for model checking sequential processes defined in the value passing CCS. Soundness of the proof system is established. The use of the system

A Modal Logic for Non-Deterministic Disc

A Modal Logic for Non-Deterministic Discourse Processing

✍ Tim Fernando 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 147 KB