Formal Semantics of Hybrid Chi

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.

• Type: Conference
• Year: 2003
• Where: FORMATS
• Authors: Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda
• Keywords: FORMATS 2003, Hybrid Chi, Language Hybrid Chi, Structured Operational Semantics