Probabilistic verification of communication protocols
From MaRDI portal
Publication:916356
DOI10.1007/BF01784022zbMath0703.68023MaRDI 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
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