Processes with multiple entries and exits modulo isomorphism and modulo bisimulation
DSpace/Manakin Repository
Processes with multiple entries and exits modulo isomorphism and modulo bisimulation
Bergstra, J.A.; Stefanescu, G.
(1996) Fundamenta Informaticae, volume 27, issue 1, pp. 37 - 56
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
ISSN: 0169-2968
Publisher: IOS press
See
more statistics
about this item