H ? « ‹ ← → › »

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

CSP-OZ-DC(ID:6810/csp010)

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
References:
  • 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