Connections between a Concrete and an Abstract Model of Concurrent Systems.

Eugene W. Stark

Published in: Mathematical Foundations of Programming Semantics (1989)

Keyphrases

formal model
probabilistic model
data sets
information systems
objective function
cost function
low level
probability distribution
management system
em algorithm
theoretical analysis
computational model
theoretical framework
model checking