An interleaving model for real-time.

Thomas A. Henzinger Zohar Manna Amir Pnueli

Published in: Jerusalem Conference on Information Technology (1990)

Keyphrases

real time
database
formal model
management system
objective function
probability distribution
computational model
theoretical framework
social networks
multi agent systems
markov chain
em algorithm
theoretical analysis
statistical model
hierarchical structure
closed form