Process algebra /
Baeten, J. C. M.,
Process algebra / J.C.M. Baeten and W.P. Weijland. - Cambridge : Cambridge University Press, 1990. - 1 online resource (248 pages) : digital, PDF file(s). - Cambridge tracts in theoretical computer science ; 18 . - Cambridge tracts in theoretical computer science ; 18. .
Title from publisher's bibliographic system (viewed on 05 Oct 2015).
This is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.
9780511624193 (ebook)
Machine theory.
Parallel processing (Electronic computers)
QA267 / .B33 1990
511.3
Process algebra / J.C.M. Baeten and W.P. Weijland. - Cambridge : Cambridge University Press, 1990. - 1 online resource (248 pages) : digital, PDF file(s). - Cambridge tracts in theoretical computer science ; 18 . - Cambridge tracts in theoretical computer science ; 18. .
Title from publisher's bibliographic system (viewed on 05 Oct 2015).
This is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.
9780511624193 (ebook)
Machine theory.
Parallel processing (Electronic computers)
QA267 / .B33 1990
511.3