Process Algebra and Structured Operational Semantics Process Algebra and Structured Operational Semantics

Cite this paper

@inproceedings{Groote1991ProcessAA, title={Process Algebra and Structured Operational Semantics Process Algebra and Structured Operational Semantics}, author={Jan Friso Groote and Jos C. M. Baeten and J. W. de Bakker and Nicolien J. Drost and Willem Jan Fokkink and Jan Heering and P. R. H. Hendriks and Eiichi Horita}, year={1991} }