Login / Signup

A Linear Temporal Logic Approach to Objects with Transactions.

Grit DenkerJaime RamosCarlos CaleiroAmílcar Sernadas
Published in: AMAST (1997)
Keyphrases
  • linear temporal logic
  • data objects
  • database
  • model checking
  • concurrency control
  • high level