Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

Olderog, E. -R. Olderog, Ernst-Rudiger

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
280
Parution
août 2005
Format
Livre broché
Langue
Anglais
Dimensions
247 × 174 × 15 cm
EAN
9780521018456
  • Résumé

The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page