A decidable policy language for history-based transaction monitoring

Andreas Bauer Rajeev Goré Alwen Tiu

Published in: CoRR (2009)

Keyphrases

programming language
natural language
monitoring system
database
optimal policy
real time
language learning
concurrency control
specification language
state space
transaction management
function free horn