From µCRL to mCRL2: Motivation and Outline.

Jan Friso Groote Aad Mathijssen Muck van Weerdenburg Yaroslav S. Usenko

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

Keyphrases

real world
database systems
database
real time
social networks
decision trees
three dimensional
user interface
life long learning