Process algebra with iteration and nesting

DSpace/Manakin Repository

Bergstra, J.A.; Bethke, I.; Ponse, A.

(1994) The Computer journal, volume 37, issue 4, pp. 243 - 258

(Article)

Download/Full Text

ISSN: 0010-4620 (Print)

Publisher: London British Computer Society

See more statistics about this item