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

Languages mentioned

• CSP-OZ-DC {2002}