C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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