The state operator in real time process algebra

DSpace/Manakin Repository

Bergstra, J.A.; Baeten, J.C.M.

(1992) Lecture Notes in Computer Science, volume 600, pp. 105 - 123

(Article in proceedings)

Download/Full Text

ISSN: 0302-9743

Publisher: Springer Verlag

See more statistics about this item