Concurrency in Timed Automata.
Ruggero LanotteAndrea Maggiolo-SchettiniSimone TiniPublished in: FCT (2001)
Keyphrases
- timed automata
- model checking
- reachability analysis
- concurrency control
- theorem prover
- database systems
- first order logic
- theorem proving
- real time systems
- transaction processing
- dynamic allocation
- fine grained
- database
- similarity measure
- data flow
- information systems
- artificial intelligence
- social networks
- timing constraints
- nested transactions
- bayesian networks
- temporal logic
- image sequences
- data model
- relational databases
- natural language
- search algorithm