Abstract
The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Semantics (SOS) and a number of associated functions. The χ syntax and semantics can also deal with local scoping of variables and/or channels, implicit differential algebraic equations, such as higher index systems, and they are very well suited for specification of pure discrete event systems. © Springer-Verlag 2004.
Cite
CITATION STYLE
Schiffelers, R. R. H., Van Beek, D. A., Man, K. L., Reniers, M. A., & Rooda, J. E. (2004). Formal Semantics of Hybrid Chi. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2791, 151–165. https://doi.org/10.1007/978-3-540-40903-8_12
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
