Automata with a time-variant structure and supply-demand theorems

MaRDI QIDQ700261zbMATH OpenFDO

Authors Pham Tra An

Publication date 4 March 2003

Published in Acta Mathematica Vietnamica (Search for Journal in Brave)

zbMATH Keywords

finite automatatime-variant structure

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3984607
• A theory of timed automata
• Automata over continuous time
• Time varying pushdown automata
• Dynamical properties of timed automata
• Dynamical Properties of Timed Automata Revisited
• Automata-Based Computation of Temporal Equilibrium Models
• Time varying finite automata
• Automata and temporal logic over arbitrary linear time
• scientific article; zbMATH DE number 3468689

Cited in

(5)

• scientific article; zbMATH DE number 3885320 (Why is no real title available?)
• scientific article; zbMATH DE number 3860399 (Why is no real title available?)
• Automata-Based Computation of Temporal Equilibrium Models
• scientific article; zbMATH DE number 3309210 (Why is no real title available?)
• Time varying finite automata

This page was built for publication: Automata with a time-variant structure and supply-demand theorems

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