Horizontal and vertical structuring techniques for statecharts

DOI10.1007/3-540-63141-0_13zbMath1512.68166OpenAlexW1856781494MaRDI QIDQ6044117

Julia Padberg, Marcus Klar, Hartmut Ehrig, Robert Geisler

Publication date: 17 May 2023

Published in: CONCUR '97: Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63141-0_13

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical semantics of formal languages (18C50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Statecharts: a visual formalism for complex systems
• Parallelism and concurrency in high-level replacement systems
• Algebraic high-level net transformation systems
• What is in a step: On the semantics of statecharts

This page was built for publication: Horizontal and vertical structuring techniques for statecharts