Compositional Proofs by Partial Specification of Processes (1988)

by K G Larsen, B Thomsen
Venue:In Proceedings of the Third Annual Symposium on Logic in Computer Science