A distributed algorithm to implement the generalized alternative command of CSP. The 6th Intavational Conference on Distributcd computing Systems. May 986 (1987)

by R Bagrodia
Venue:Foundations of Soft wore Technology and Computer Science