Specifying Urgency in Timed I/O Automata.
Biniam GebremichaelFrits W. VaandragerPublished in: SEFM (2005)
Keyphrases
- timed automata
- finite state machines
- input output
- model checking
- petri net
- main memory
- probabilistic automata
- file system
- theorem prover
- storage systems
- finite automata
- markov chain
- lattice gas
- finite state automata
- finite state
- regular expressions
- first order logic
- cellular automata
- discrete event
- spatial join
- garbage collection
- virtual memory
- temporal logic
- search engine
- automata theoretic