J. A. Bergstra;Gh. Ştefănescu
-;-
PROCESSES WITH MULTIPLE ENTRIES AND EXITS MODULO ISOMORPHISM AND MODULO BISIMULATION
Fundamenta Informaticae