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