A compositional real-time semantics of STATEMATE designs

DOI10.1007/3-540-49213-5_8MaRDI QIDQ7010075zbMATH OpenFDO

Authors Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli

Publication date 19 March 2025

Full work available at URL https://doi.org/10.1007/3-540-49213-5_8

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• A compositional axiomatization of statecharts
• Equivalences of Statecharts
• scientific article; zbMATH DE number 3926220 (Why is no real title available?)
• scientific article; zbMATH DE number 3930354 (Why is no real title available?)
• Statecharts: a visual formalism for complex systems
• What is in a step: on the semantics of statecharts

Cited in

(1)

• The need for compositional proof systems: a survey

This page was built for publication: A compositional real-time semantics of STATEMATE designs

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