Probabilistic verification of communication protocols
From MaRDI portal
Publication:916356
DOI10.1007/BF01784022zbMath0703.68023MaRDI QIDQ916356
Nicholas F. Maxemchuk, Krishan Sabnani
Publication date: 1989
Published in: Distributed Computing (Search for Journal in Brave)
68M10: Network design and communication in computer systems
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
Related Items
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