Event-Based Specification and Verification of Distributed Systems (1982)

by B Chen
Venue:IEEE Trans. Software Eng