Ka L. Man, Michel A. Reniers, Pieter J. L. Cuijpers. Case Studies in The Hybrid Process Algebra Hypa. International Journal of Software Engineering and Knowledge Engineering, 15(2):299-306, 2005. [doi]
@article{ManRC05,
title = {Case Studies in The Hybrid Process Algebra Hypa},
author = {Ka L. Man and Michel A. Reniers and Pieter J. L. Cuijpers},
year = {2005},
doi = {10.1142/S0218194005002385},
url = {http://dx.doi.org/10.1142/S0218194005002385},
tags = {case study, process algebra, algebra},
researchr = {https://researchr.org/publication/ManRC05},
cites = {0},
citedby = {0},
journal = {International Journal of Software Engineering and Knowledge Engineering},
volume = {15},
number = {2},
pages = {299-306},
}