Articoli correlati a Nets, Terms and Formulas: Three Views of Concurrent...

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

Libro 8 di 40: Cambridge Tracts in Theoretical Computer Science

Olderog, E. -R.

 
9780521400442: Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
Rilegato
ISBN 10: 0521400449 ISBN 13: 9780521400442
Casa editrice: Cambridge University Press, 1991

Sinossi

The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

"The unique feature of this book is that it unifies different views of concurrency rather than adding another view. The author does so in a clear and convincing fashion....requires the reader to be fluent in such mathematical concepts as sets, relations, functions, and predicate logic, and to be familiar with the basic concepts of automata and regular languages. Readers who enjoy the mathematical maturity will find the book excellent: it is carefully written, and the material is presented in a well-chosen order and at the right level of detail. The author must be a good teacher." Martin Rem, Computing Reviews

Descrizione del libro

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Cambridge University Press
Data di pubblicazione
1991
Lingua
Inglese
ISBN 10 
0521400449
ISBN 13 
9780521400442
Rilegatura
Copertina rigida
Numero di pagine
278
Contatto del produttore
non disponibile
Persona responsabile
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Germania