Jos C. M. Baeten, D. A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers, R. J. M. Theunissen. Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. Electronic Notes in Theoretical Computer Science, 209:21-53, 2008. [doi]
@article{BaetenBCRRST08,
title = {Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi},
author = {Jos C. M. Baeten and D. A. van Beek and Pieter J. L. Cuijpers and Michel A. Reniers and J. E. Rooda and Ramon R. H. Schiffelers and R. J. M. Theunissen},
year = {2008},
doi = {10.1016/j.entcs.2008.04.003},
url = {http://dx.doi.org/10.1016/j.entcs.2008.04.003},
tags = {rule-based, meta-model, process algebra, model-driven engineering, C++, algebra, Meta-Environment, process modeling},
researchr = {https://researchr.org/publication/BaetenBCRRST08},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {209},
pages = {21-53},
}