This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
vanbeek:publications [Tuesday, 19 January 2010 : 10:34:23] vanbeek |
vanbeek:publications [Monday, 06 January 2014 : 12:47:09] (current) vanbeek |
||
---|---|---|---|
Line 5: | Line 5: | ||
J.C.M. Baeten, D.A. van Beek, P.J.L. Cuijpers, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, R.J.M. Theunissen, | J.C.M. Baeten, D.A. van Beek, P.J.L. Cuijpers, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, R.J.M. Theunissen, | ||
{{entcslin08.pdf|Model-based engineering of embedded systems using the hybrid process algebra Chi}}, | {{entcslin08.pdf|Model-based engineering of embedded systems using the hybrid process algebra Chi}}, | ||
- | Electronic Notes in Theoretical Computer Science, vol. 209, 21-53, 2008. [[http://dx.doi.org/10.1016/j.entcs.2008.04.003 |DOI link]] | + | Electronic Notes in Theoretical Computer Science, vol. 209, 21-53, 2008, [[http://dx.doi.org/10.1016/j.entcs.2008.04.003 |DOI link]]. |
D.A. van Beek, J.E. Rooda, R.R.H. Schiffelers, K.L. Man, M.A. Reniers, | D.A. van Beek, J.E. Rooda, R.R.H. Schiffelers, K.L. Man, M.A. Reniers, | ||
{{entcs06.pdf|Relating hybrid Chi to other formalisms}}, | {{entcs06.pdf|Relating hybrid Chi to other formalisms}}, | ||
- | Electronic Notes in Theoretical Computer Science, vol. 191, 85-113, 2007. [[http://dx.doi.org/10.1016/j.entcs.2006.09.041 |DOI link]] | + | Electronic Notes in Theoretical Computer Science, vol. 191, 85-113, 2007, [[http://dx.doi.org/10.1016/j.entcs.2006.09.041 |DOI link]]. |
D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, | D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, | ||
[[jlap05|Syntax and Consistent Equation Semantics of Hybrid Chi]], | [[jlap05|Syntax and Consistent Equation Semantics of Hybrid Chi]], | ||
Journal of Logic and Algebraic Programming, special issue on hybrid systems, | Journal of Logic and Algebraic Programming, special issue on hybrid systems, | ||
- | vol. 68, no. 1-2, 129-210, 2006. | + | vol. 68, no. 1-2, 129-210, 2006, [[http://dx.doi.org/10.1016/j.jlap.2005.10.005|DOI link]]. |
D.A. van Beek, V. Bos, J.E. Rooda, | D.A. van Beek, V. Bos, J.E. Rooda, |