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.
Kategorie:
Rok:
1990
Wydawnictwo:
Cambridge University Press
Język:
english
Strony:
254
ISBN 10:
0521400430
ISBN 13:
9780521400435
Serie:
Cambridge tracts in theoretical computer science 18
Plik:
DJVU, 1.55 MB
IPFS:
,
english, 1990