A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.

Malcolm Tyrrell Joseph M. Morris Andrew Butterfield Arthur Hughes

Published in: ICTAC (2006)

Keyphrases

computational model
experimental data
high level
mathematical model
real time
process model
computational models
similarity measure
reinforcement learning
data model
probabilistic model
probability distribution
management system
formal model
object model