Creol: A type-safe object-oriented model for distributed concurrent systems.

Einar Broch Johnsen Olaf Owe Ingrid Chieh Yu

Published in: Theor. Comput. Sci. (2006)

Keyphrases

object oriented
mathematical model
formal model
cost function
probabilistic model
computational model
statistical model
concurrent systems
experimental data
database
data sets
knowledge base
distributed systems
em algorithm
process algebra