Transition And Cancellation In Concurrency And Branching Time.

Vaughan R. Pratt

Published in: Math. Struct. Comput. Sci. (2003)

Keyphrases

temporal logic
model checking
concurrency control
database systems
temporal reasoning
data sets
machine learning
transition model
real time
artificial intelligence
website
data warehouse
data flow
transaction processing