Syntax and semantics of Procol

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1995 ◽

10.1007/3-540-60246-1_156 ◽

1995 ◽

pp. 509-518

Author(s):

Roel Goot ◽

Arie Bruin

Download Full-text