scientific article; zbMATH DE number 434871

zbMATH Open0798.68117MaRDI QIDQ3139722FDOQ3139722

Authors: James F. Peters, Gregory A. Starling, Sheela Ramanna 

Publication date: 6 November 1994

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

Recommendations

• A categorical view of timed behaviours
• scientific article; zbMATH DE number 1839448
• Concurrency in timed automata
• Unifying behavioral equivalences of timed transition systems
• A theory of timed automata

zbMATH Keywords

concurrent timed automataabstract category of sets of predicates over timeconcrete category of transition diagramscontrollers for real-time systemstimed predicate Müller automata

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)

Cited In (5)

• Modeling and analysis of real-time systems with mutex components
• Categorical foundations for randomly timed automata
• Title not available (Why is that?)
• TYPED TIMED INPUT/OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION
• Concurrency in timed automata

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