Abstract
We use an extension of Milner's Calculus of Communicating Systems (CCS) with discrete time and probabilities to model quantitative aspects of timeouts and unreliable media. As an illustration we provide a specification of the alternating-bit protocol.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
