scientific article; zbMATH DE number 5173925

zbMATH Open1123.68038MaRDI QIDQ5294161FDOQ5294161

Authors: Susanne Graf, Andreas Prinz 

Publication date: 24 July 2007

Title of this publication is not available (Why is that?)

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

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)

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)