Event-based specification and verification of distributed systems - Chen, Bo-Shoe (Univ. Microfilms Internat., 1983)
Baltimore, Md., Univ. of Maryland, Diss., 1982