Probabilistic verification of communication protocols

DOI10.1007/BF01784022zbMath0703.68023OpenAlexW1546325561MaRDI QIDQ916356

Krishan Sabnani, Nicholas F. Maxemchuk

Publication date: 1989

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

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

zbMATH Keywords

probabilistic analysisvalidationprotocolsprobabilistic verification

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items

ECFSM-based probabilistic protocol verification

Cites Work

• Verification of multiprocess probabilistic protocols
• Verification of a multidestination selective repeat procedure
• Closed Covers: To Verify Progress for Communicating Finite State Machines
• Protocol Verification via Projections
• An algorithmic technique for protocol verification
• Communicating sequential processes
• Fast Sequential Decoding Algorithm Using a Stack
• Testing and generating infinite sequences by a finite automaton