Global renaming operators in concrete process algebra

DSpace/Manakin Repository

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

(1988) Information and Computation, volume 78, issue 3, pp. 205 - 245

(Article)

Download/Full Text

ISSN: 0890-5401

Publisher: Academic Press, San Diego [etc.]

See more statistics about this item