A graph rewriting framework for Statecharts semantics

DOI10.1007/3-540-61228-9_82zbMath1412.68111OpenAlexW1551085143MaRDI QIDQ4645270

Andrea Maggiolo-Schettini, Adriano Peron

Publication date: 10 January 2019

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61228-9_82

zbMATH Keywords

external worldmaximal stepdynamic semanticstandard steptransition production

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Cites Work

• Statecharts: a visual formalism for complex systems
• Actor grammars
• Note on standard representation of graphs and graph derivations
• On relating rewriting systems and graph grammars to event structures
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A graph rewriting framework for Statecharts semantics