Statecharts, transition structures and transformations

DOI10.1007/3-540-59293-8_213zbMath1496.68242OpenAlexW1494286307MaRDI QIDQ5096749

Adriano Peron

Publication date: 18 August 2022

Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59293-8_213

zbMATH Keywords

transition structureclassical semanticgood structureparallel componentstandard semantic

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Formalising concurrent UML state machines using coloured Petri nets

Cites Work

• Statecharts: a visual formalism for complex systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Statecharts, transition structures and transformations