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.
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.
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.
C4C consortium (2008):
Control for Coordination of Distributed Systems.
http://www.c4c-project.eu/.
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.
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.
HYCON 2 consortium (2010):
Highly-complex and networked control systems.
http://www.hycon2.eu/.
HYCON Network of Excellence (2005):
Hybrid Control: Taming Heterogeneity and Complexity of Networked Embedded Systems.
http://www.ist-hycon.org/.
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.
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.
MULTIFORM consortium (2008):
Integrated Multi-formalism Tool Support for the Design of networked Embedded Control Systems MULTIFORM.
http://www.multiform.bci.tu-dortmund.de.
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.
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.
Yaroslav S. Usenko (2002):
Linearization in μCRL.
Eindhoven University of Technology.