References

  1. J. C. M. Baeten, T. Basten & M. A. Reniers (2009): Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science), 1st edition. Cambridge University Press.
  2. J.C.M. Baeten, D.A. van Beek, D. Hendriks, A.T. Hofkamp, D.E. Nadales Agut, J.E. Rooda & R.R.H. Schiffelers (2010): Definition of the Compositional Interchange Format. Technical Report Deliverable D1.1.2. Multiform. Available at www.multiform.bci.tu-dortmund.de/images/stories/multiform/deliverables/multiform_d112.pdf.
  3. Harsh Beohar, Damian E. Nadales Agut, Dirk A. van Beek & Pieter J. L. Cuijpers (2010): Hierarchical states in the Compositional Interchange Format. Electronic Proceedings in Theoretical Computer Science 32, pp. 42–56, doi:10.4204/EPTCS.32.4.
  4. P. van de Brand, M. A. Reniers & P. J. L. Cuijpers (2006): Linearization of Hybrid Processes. Journal of Logic and Algebraic Programming 68(1–2), pp. 54–104, doi:10.1016/j.jlap.2005.10.003.
  5. C4C consortium (2008): Control for Coordination of Distributed Systems. http://www.c4c-project.eu/.
  6. P.J.L. Cuijpers & M.A. Reniers (2008): Lost in Translation: Hybrid-Time Flows vs Real-Time Transitions. In: HSCC 2008, Lecture Notes in Computer Science 4981. Springer, pp. 116–129, doi:10.1007/978-3-540-78929-1_9.
  7. M. Hennessy & H. Lin (1995): Symbolic bisimulations. In: Selected papers of the meeting on Mathematical foundations of programming semantics. Elsevier Science Publishers B. V., Amsterdam, The Netherlands, The Netherlands, pp. 353–389, doi:10.1016/0304-3975(94)00172-F. Available at http://portal.acm.org/citation.cfm?id=202463.202370.
  8. HYCON 2 consortium (2010): Highly-complex and networked control systems. http://www.hycon2.eu/.
  9. HYCON Network of Excellence (2005): Hybrid Control: Taming Heterogeneity and Complexity of Networked Embedded Systems. http://www.ist-hycon.org/.
  10. U. Khadim, D. A. van Beek & P. J. L. Cuijpers (2007): Linearization of Hybrid Chi Using Program Counters. Technical Report CS-Report 07-18. Eindhoven University of Technology, Department of Computer Science, The Netherlands.
  11. M. R. Mousavi, M. A. Reniers & J. F. Groote (2005): Notions of bisimulation and congruence formats for SOS with data. Information and Computation 200(1), pp. 107–147, doi:10.1016/j.ic.2005.03.002.
  12. MULTIFORM consortium (2008): Integrated Multi-formalism Tool Support for the Design of networked Embedded Control Systems MULTIFORM. http://www.multiform.bci.tu-dortmund.de.
  13. D. E. Nadales Agut & M. A. Reniers (2011): Deriving a Simulator for a Hybrid Language Using SOS Rules. http://se.wtb.tue.nl/sewiki/cif/publications2.
  14. Gordon D. Plotkin (2004): A structural approach to operational semantics. Journal of Logic and Algebraic Programming 60-61, pp. 17–139, doi:10.1016/j.jlap.2004.05.001.
  15. Yaroslav S. Usenko (2002): Linearization in μCRL. Eindhoven University of Technology.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org