Conditional axioms and α/β calculus in process algebra

DSpace/Manakin Repository

Conditional axioms and α/β calculus in process algebra
 
Baeten, J.C.M.; Bergstra, J.A.; Klop, J.W.
(1987) Formal Description of Programming Concepts : proceedings of the IFIP TC2/WG 2.2 working conference on formal description of programming concepts, pp. 53 - 75
(Article in proceedings)
Download/Full Text
Open Access version via Utrecht University Repository
 
Keywords: concurrency, process algebra, alphabet, conditional axioms
Publisher: North Holland (now part of Elsevier)
 
See more statistics about this item