CSP-OZ: a combination of Object-Z and CSP (1997)

by C Fischer
Venue:Proc. 2nd IFIP Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS