Event Based Behavior Specification of Distributed Systems (1981)

by B Chen, R T Yeh
Venue:IEEE Symposium on Reliability in Distributed Software and Database Systems