A logical view of composition and refinement (excerpt (1991)

by M Abadi, G D Plotkin
Venue:Third Workshop on Concurrency and Compositionality