Nets, terms and formulas: three views of concurrent processes and their relationship
Auteur :
Olderog, E. -R.
Éditeur :
Cambridge University Press
ISBN :
9780521018456
Date de publication :
22 août 2005
Dimensions :
24,5 x 17,0 x 1,5 cm
Poids :
446 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies directions for research.