Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract).

Paul C. Attie E. Allen Emerson

Published in: PODC (1996)

Keyphrases

extended abstract
concurrent systems
statistical model
formal model
high level
mathematical model
case study
video sequences
probability distribution
management system
computational model
probabilistic model
building blocks
theoretical analysis
parameter estimation