The formalization and analysis of a communications protocol

DOI10.1007/BF01211082zbMath0802.68007MaRDI QIDQ1318284

V. Pereyra

Publication date: 11 December 1994

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

modal logicsafetymodel checkingformal methodsconcurrencymu-calculusCCSMSMIE protocol

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (2)

CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus ⋮ An algebraic verification of a mobile network

Cites Work

• Results on the propositional \(\mu\)-calculus
• Unnamed Item
• Unnamed Item

This page was built for publication: The formalization and analysis of a communications protocol