Process algebra
J. C. M. Baeten, W. P. Weijland
This book is a wonderful introduction to the theory behind concurrency. All the given proofs are explained well (but references to some of the steps would be nice). The only problems I had with the book is the lack of some references in the proofs and no answers to the exercises.
Categorie:
Anno:
1990
Casa editrice:
Cambridge University Press
Lingua:
english
Pagine:
254
ISBN 10:
0521400430
ISBN 13:
9780521400435
Collana:
Cambridge tracts in theoretical computer science 18
File:
DJVU, 1.55 MB
IPFS:
,
english, 1990
Amazon 
Barnes & Noble 
Bookshop.org 
Converti i file
Più risultati di ricerca
Altri vantaggi 
