Specification and analysis of a data transfer protocol using systems of communicating machines

DOI10.1007/BF02252957zbMath0731.68016MaRDI QIDQ808228

G. M. Lundy, Raymond E. Miller

Publication date: 1991

Published in: Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

reachability analysisfinite state machinescommunication protocolsprotocol specificationsystem state analysis

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Cites Work

• Unnamed Item
• Unnamed Item
• Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols
• Protocol Verification via Projections
• Protocol analysis and synthesis by structured partitions
• Formal verification of parallel programs
• Communicating sequential processes