Compositional Proofs by Partial Specification of Processes

Cite this paper

@inproceedings{Larsen1988CompositionalPB, title={Compositional Proofs by Partial Specification of Processes}, author={Kim G. Larsen and Bent Thomsen}, booktitle={MFCS}, year={1988} }