Concurrency in timed automata.
Ruggero LanotteAndrea Maggiolo-SchettiniSimone TiniPublished in: Theor. Comput. Sci. (2003)
Keyphrases
- timed automata
- model checking
- reachability analysis
- concurrency control
- theorem prover
- first order logic
- temporal logic
- real time systems
- theorem proving
- database systems
- concurrency control protocols
- data flow
- transaction processing
- concurrent execution
- timing constraints
- inference rules
- machine learning
- software systems
- knowledge representation
- multi agent
- clustering algorithm
- knowledge base