Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility.

Ivan Lanese Ugo Montanari

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

main contribution
framework enables
information retrieval
conceptual framework
real world
e learning
decision trees
case study
database systems
computational model