K._V._S.__Prasad
A calculus of broadcasting systems
A calculus of value broadcasts
A Machine Verified Distributed Sorting Algorithm
Broadcasting in time
Broadcasting with priority
Combinators and Bisimulation Proofs for Restartable Systems
Programming with broadcasts