Syntax and semantics of the compositional interchange format for hybrid systems

DOI10.1016/J.JLAP.2012.07.001zbMath1257.68101OpenAlexW2165335491MaRDI QIDQ1932345

D. A. van Beek, D. E. Nadales Agut, Jacobus E. Rooda

Publication date: 18 January 2013

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2012.07.001

zbMATH Keywords

formal semanticshybrid systemsstructured operational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Identity-Based Cryptosystems and Quadratic Residuosity

This page was built for publication: Syntax and semantics of the compositional interchange format for hybrid systems