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

zbMATH Open1030.68055MaRDI QIDQ700261FDOQ700261

Authors: Pham Tra An 

Publication date: 4 March 2003

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

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

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Time varying finite automata
• Title not available (Why is that?)
• Automata-Based Computation of Temporal Equilibrium Models

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)