User Tools

Site Tools


This is an old revision of the document!

Home page of Michel Reniers ( M.A. Reniers)

Please visit for a personal homepage of me.


Under development

Key Publications

  1. J.C.M. Baeten, T. Basten, and M.A. Reniers. Process Algebra: Equational Theories of Communicating Processes. Cambridge University Press, September 2009.
  2. P.J.L. Cuijpers and M.A. Reniers. Hybrid Process Algebra. Journal of Logic and Algebraic Programming, 62(2):191-245. February 2005.
  3. D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda and R.R.H. Schiffelers. Syntax and Consistent Equation Semantics of Hybrid Chi. Journal of Logic and Algebraic Programming, 68(1-2):129-210, June-July 2006.
  4. D.A. van Beek, M.A. Reniers, R.R.H. Schiffelers and J.E. Rooda. Foundations of a Compositional Interchange Format for Hybrid Systems. In A. Bemporad, A. Bicchi, and G. Buttazzo, editors, 10th International Conference on Hybrid Systems: Computation and Control (HSCC'07), April 3-5 2007, Pisa, Italy, pages 587-600. Lecture Notes in Computer Science, volume 4416, 2007, Springer.
  5. M.R. Mousavi, M.A. Reniers and J.F. Groote. SOS Formats and Meta-Theory: 20 Years After. Theoretical Computer Science, 373(3):238-272, April 2007.


* 4B050 Werktuigbouwkunde in Vogelvlucht

mreniers/start.1458948455.txt.gz · Last modified: Saturday, 26 March 2016 : 00:27:35 by mreniers