J.Sifakis, Specification and verification of concurrent systems (1981)

by J P Quielle
Venue:in CESAR, Proceedings of 5th International Symposium in Programming