The algebra of recursively defined processes and the algebra of regular processes

DSpace/Manakin Repository

The algebra of recursively defined processes and the algebra of regular processes
 
Bergstra, J.A.; Klop, J.W.
(1984) Lecture Notes in Computer Science, volume 172, pp. 82 - 94
(Article in proceedings)
Download/Full Text
Open Access version via Utrecht University Repository
 
ISSN: 0302-9743
Publisher: Springer Verlag
 
 
See more statistics about this item