Adequacy-preserving transformations of COSY path programs

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_51 ◽

1988 ◽

pp. 368-379 ◽

Author(s):

Maciej Koutny

Download Full-text