Semantics of full statecharts based on graph rewriting

DOI10.1007/3-540-57787-4_17zbMath1494.68117OpenAlexW1531763790MaRDI QIDQ5096287

Adriano Peron, Andrea Maggiolo-Schettini

Publication date: 16 August 2022

Published in: Graph Transformations in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-57787-4_17

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Cites Work

• Statecharts: a visual formalism for complex systems
• The chemical abstract machine
• Actor grammars
• Parallelism and concurrency in high-level replacement systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantics of full statecharts based on graph rewriting