Statecharts via Process Algebra

Statecharts is a visual language for specifying the behavior of reactive systems. The language extends finite-state machines with concepts of hierarchy, concurrency, and priority. Despite its popularity as a design notation for embedded systems, precisely defining its semantics has proved extremely...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Lüttgen, Gerald, von der Beeck, Michael, Cleaveland, Rance
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Compositional Semantic Computer science control theory systems Exact sciences and technology Input Action Label Transition System Language theory and syntactical analysis Operational Semantic Process Algebra Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!