Login / Signup

Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.

Ruggero LanotteAndrea Maggiolo-SchettiniPaolo MilazzoAngelo Troina
Published in: FMOODS (2006)
Keyphrases
  • long running
  • timed automata
  • data structure
  • database
  • continuous queries
  • low latency
  • model checking
  • theorem proving
  • theorem prover
  • workflow management systems