Specification and Verification of Concurrent Systems in CESAR (1982)

by J Quelle, J Sifakis
Venue:In Programming, LNCS 137