Timed P automata

MaRDI QIDQ3005245zbMATH OpenFDO

Authors Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei

Publication date 7 June 2011

zbMATH Keywords

ecological modelsP systemstimed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Ecology (92D40)

Recommendations

• Timed P Automata
• Timed P Automata
• Membrane Computing
• Time-freeness and clock-freeness and related concepts in P systems
• Counting Time in Computing with Cells

Cited in

(10)

• Reachability in two-clock timed automata is PSPACE-complete
• SE-SYSTEMS, TIMING MECHANISMS, AND TIME-VARYING CODES
• Timed P Automata
• scientific article; zbMATH DE number 1189294 (Why is no real title available?)
• scientific article; zbMATH DE number 1973972 (Why is no real title available?)
• Timed Pushdown Automata Revisited
• Parametric Interrupt Timed Automata
• Timed P Automata
• Behavioural equivalences in real-time P systems
• scientific article; zbMATH DE number 6300098 (Why is no real title available?)

This page was built for publication: Timed P automata

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