CSP-OZ(ID:6809/csp009)
hybrid of CSP and object-Z
Related languages
CSP |
=> |
CSP-OZ | |
Incorporated some features of |
Object-Z |
=> |
CSP-OZ | |
Incorporated some features of |
CSP-OZ |
=> |
CSP-OZ-DC | |
Augmentation of |
References:
Fischer, Clemens "CSP-OZ: a combination of object-Z and CSP" Proceeding of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems Canterbury, United Kingdom 1997 pp423-438 view details
|