Process algebra for hybrid systems

Authors	J.A. Bergstra C.A. Middelburg
Publication date	2005
Journal	Theoretical Computer Science
Volume | Issue number	335
Pages (from-to)	215-280
Organisations	Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type	Article
Published at	https://doi.org/10.1016/j.tcs.2004.04.019
Permalink to this page