Process algebra: specification and verification in bisimulation semantics

DSpace/Manakin Repository

Process algebra: specification and verification in bisimulation semantics
 
Bergstra, J.A.
(1986) CWI monographs, volume 4, pp. 61 - 94
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
 
ISSN: 0169-4669
Publisher: Centrum voor Wiskunde en Informatica
 
See more statistics about this item