Login / Signup
Another Glance at the Alpern-Schneider Characterization of Safety and Liveness in Concurrent Executions.
H. Peter Gumm
Published in:
Inf. Process. Lett. (1993)
Keyphrases
</>
database transactions
databases
data mining
case study
bayesian networks
long running
coal mining
axiomatic characterization