Timer description in CCS (Milner), LOTOS (ISO) and timed LOTOS (Quemada-Fernandez). A case analysis.

Published in: Comput. Commun. Rev. (1988)

Keyphrases

high level
quantitative analysis
real world
machine learning
digital libraries
data analysis
statistical analysis
multiscale
wide range
image analysis
constraint propagation