B. Jonsson
-
A theory of normed simulations
ACM Transactions on Computational Logic (TOCL)
Specifying modules to satisfy interfaces: a state transition system approach
Distributed Computing - Special issue: Specification of concurrent systems