Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science). J. C. M. Baeten

Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)



Download Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)



Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science) J. C. M. Baeten ebook djvu
Publisher: Cambridge University Press
Language: English
Page: 329
ISBN: 0521400287, 9780521607506

This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is, the study of concurrent or communicating processes using an algebraic framework. The approach is axiomatic, and the authors consider structures that are some set of mostly equational axioms equipped with several operators. Thus, the term algebra is used in the model-theoretic sense. Nevertheless, the axiomatic approach enables one to organize the field of process theories and apply them systematically to a number of situations. The first article sets out the theory of ACP and is followed by descriptions of various protocols, and algorithms including communication protocols, a mutual exclusion algorithm, a CIM-architecture, systolic algorithms, and a distributed operating system. This book is essential reading for computer scientists and mathematicians working in parallel programming, concurrency, or distributed systems. It could be considered a companion volume to Process Algebra by J.C.M. Baeten and W.P. Weijland.



MORE EBOOKS:
The Anti-American Century pdf free download
The Postcolonial Exotic: Marketing the Margins ebook free download
Download Birds of Northern South America Set: 2 Volume Set pdf
Download Stochastic Portfolio Theory (Stochastic Modelling and Applied Probability) ebook
It's My Life Now: Starting Over After an Abusive Relationship or Domestic Violence, 2nd Edition pdf free download







Tags: Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science) ebook pdf epub djvu mobi rar
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science) pdf epub djvu free download
Download Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science) free ebook pdf epub
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science) read online free book
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science) cheap ebook for kindle and nook
J. C. M. Baeten ebooks and audio books
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science) download pdf epub rar rapidshare mediafire fileserve 4shared torrent depositfiles scribd