H ? « »

Language peer sets for CSP-OZ-DC:
Designed 2002
2000s languages
New internationlism


alternate simple view
Country: Denmark
Designed 2002

extension of CSP-OZ to include date-specific material

Related languages
CSP-OZ CSP-OZ-DC   Augmentation of
Duration Calculus CSP-OZ-DC   Incorporated some features of

  • Hoenicke, Jochen; Olderog, Ernst-Rüdiger (2002) Hoenicke, Jochen; Olderog, Ernst-Rüdiger "CSP-OZ-DC: a combination of specification techniques for processes, data and time", Nordic Journal of Computing, v.9 n.4, p.301-334, Winter 2002 Abstract
  • Wehrheim, Heike (2002) Wehrheim, Heike "Relating state-based and behaviour-oriented subtyping", Nordic Journal of Computing, v.9 n.4, p.405-435, Winter 2002
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder