scientific article; zbMATH DE number 1479645

MaRDI QIDQ4490762zbMATH OpenFDO

Authors Adriano Peron, Andrea Maggiolo-Schettini

Publication date 20 July 2000

Mathematics Subject Classification ID

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

Recommendations

• Statecharts: a visual formalism for complex systems
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Statecharts, transition structures and transformations
• scientific article; zbMATH DE number 1286822
• scientific article; zbMATH DE number 1544531

Cited in

(7)

• Reactive designs of interrupts in Circus Time
• Real-time semantics of state transition for embedded control systems
• Semantics and execution time of new timed statecharts
• A graph rewriting framework for Statecharts semantics
• What is in a step: on the semantics of statecharts
• Statecharts, transition structures and transformations
• Introduction to design choices in the semantics of Statecharts

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490762)