Axiomatizing CCS, Nets and Processes.

Nicoletta De Francesco Ugo Montanari Daniel Yankelevich

Published in: Sci. Comput. Program. (1993)

Keyphrases

real world
computer vision
feature selection
image segmentation
management system
information processing
process model
stochastic processes