The following pages link to CONCUR 2004 - Concurrency Theory (Q5311487):
Displaying 25 items.
- On parametric timed automata and one-counter machines (Q515666) (← links)
- The efficiency of identifying timed automata and the power of clocks (Q553334) (← links)
- When are stochastic transition systems tameable? (Q1648646) (← links)
- Model checking temporal properties of reaction systems (Q1749193) (← links)
- Timed network games (Q2112796) (← links)
- Reachability relations of timed pushdown automata (Q2221811) (← links)
- Reachability in two-clock timed automata is PSPACE-complete (Q2347796) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Timed Petri nets and timed automata: On the discriminating power of Zeno sequences (Q2475807) (← links)
- Branching-time model checking of one-counter processes and timed automata (Q2848205) (← links)
- Emptiness and Universality Problems in Timed Automata with Positive Frequency (Q3012924) (← links)
- Concavely-Priced Probabilistic Timed Automata (Q3184689) (← links)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
- Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions (Q3618627) (← links)
- One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit (Q3618628) (← links)
- Model Checking Metric Temporal Logic over Automata with One Counter (Q4910485) (← links)
- Timed network games with clocks (Q5005123) (← links)
- (Q5028426) (← links)
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities (Q5041280) (← links)
- Timed Basic Parallel Processes (Q5875376) (← links)
- Continuous One-counter Automata (Q5875944) (← links)
- The tail-recursive fragment of timed recursive CTL (Q6077845) (← links)
- Equivalence checking and intersection of deterministic timed finite state machines (Q6108432) (← links)
- Model checking timed recursive CTL (Q6543268) (← links)
