A Timed Model for Communicating Sequential Processes.

George M. Reed A. W. Roscoe

Published in: ICALP (1986)

Keyphrases

formal model
computational model
experimental data
real time
discrete event
simulation model
computational models
process model
dynamic systems
statistical model
mathematical model
petri net
em algorithm
least squares
probabilistic model
cost function
similarity measure
high level
finite state machines
web services