H ? « ‹ ← → › »

Language peer sets for CSP-OZ:
Germany↑
Germany/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

CSP-OZ(ID:6809/csp009)

alternate simple view
Country: Germany
Designed 1997

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 (1997) 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
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder