A Note on the Characterization of Weak Bisimulation Congruence in CCS

Published in: Inf. Comput. (1992)

Keyphrases

databases
e learning
socio technical
optimal planning
real world
metadata
web services
image segmentation
equivalence relation