Specification and verification of concurrent systems in CESAR (1982)

by J P Quielle, J Sifakis
Venue:In: Proceedings of the 5th International Symposium on Programming