Alta reperibilità
Nets, Terms and Formulas
Three Views of Concurrent Processes and Their Relationship
- Editore:
Cambridge University Press
- EAN:
9780521400442
- ISBN:
0521400449
- Pagine:
- 278
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Nets, Terms and Formulas
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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti