Interaction semantics for components of distributed systems (1996)

by C L Talcott
Venue:In Formal Methods for Open Object-Based Distributed Systems (FMOODS