Nets, terms and formulas: three views of concurrent processes and their relationship
Auteur :
Olderog, E. -R.
Éditeur :
Cambridge University Press
ISBN :
9780521400442
Date de publication :
3 oct. 1991
Dimensions :
25,7 x 18,0 x 1,9 cm
Poids :
670 g
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.