Models for name-passing processes: interleaving and causal.

Gian Luca Cattani Peter Sewell

Published in: Inf. Comput. (2004)

Keyphrases

artificial intelligence
complex systems
process model
computational models
database
real time
website
multiscale
multi agent
probabilistic model
statistical model
parametric models
structural model
accurate models
causal independence