Nets, Terms and Formulas

Auteur: Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany)
Editeur: Cambridge University Press
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.

En stock

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.
ISBN / EAN 9780521018456
Auteur Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany)
Editeur Cambridge University Press