Specification of systems with parameterised events: An institution-independent approach

• Published in: Journal of logical and algebraic methods in programming Vol. 128; p. 100791
• Main Authors: Hennicker, Rolf, Knapp, Alexander
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.08.2022

Event-based systems operate in an environment that signals events upon which the system reacts. Besides the control flow of such systems also their data flow is of major importance. We present an event/data-based institution which is generic in the underlying data state institution. The logic is bas...