scientific article; zbMATH DE number 5173925

MaRDI QIDQ5294161zbMATH OpenFDO

Authors Susanne Graf, Andreas Prinz

Publication date 24 July 2007

zbMATH Keywords

abstract state machinespartial order semanticsevent structuretime model

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The timestamp of timed automata
• Timed recursive state machines: expressiveness and complexity
• scientific article; zbMATH DE number 1507209
• Timed automata
• scientific article; zbMATH DE number 2102690
• scientific article; zbMATH DE number 6300098
• Time and Petri nets
• Time and systems
• Heterogeneous timed machines

Cited in

(2)

• Moded and continuous abstract state machines
• Refinement of Timing Constraints for Concurrent Tasks with Scheduling

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 Q5294161)