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

zbMATH Open1030.68055MaRDI QIDQ700261FDOQ700261

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)

Cited In (1)

• Automata-Based Computation of Temporal Equilibrium Models

   Recommendations

• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Title not available (Why is that?) 👍 👎

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)