Home » forums » LtU Forum

Pi-calculus and mobile system books

Am looking at books on process calculii, and am wondering what is thought of the following:

* Milner's Communicating and Mobile Systems: The Pi-Calculus
* Sangiorgi and Walker's The Pi-Calculus: A Theory of Mobile Processes
* Fokkink's Introduction to Process Algebra

All three are at Powell's; unfortunately, all three are currently only stocked in their warehouse in town. I prefer not to ask them to transfer a book to their retail outlets, unless there's a good chance I might purchase it--so any recommendations on which one(s) I should investigate first?

I already have Hoare's Communicating Sequential Processes, so no need to recommend that (though I recommend it to others who are interested).

By Scott Johnson at 2006-01-13 21:39 | LtU Forum | previous forum topic | next forum topic | other blogs | 6216 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

online Communicating Sequential Processes

An electronic version of the book has been produced...

By Isaac Gouy at Fri, 2006-01-13 21:52 | login or register to post comments

In my experience

Robin Milner's book is interesting for theoreticians, but probably much less so for language designers, as it is usually quite abstract.

Davide Sangiorgi's book is a good reference but is *very* hard to read.

I haven't opened Fokkink.

By David Teller at Tue, 2006-01-17 15:48 | login or register to post comments

BRICS - Algebraic Process Calculi - The First Twenty Five Years

Didn't read any of the books - but whoever wants to have a quick look at various aspects of process calculi should read

http://www.brics.dk/NS/05/3/index.html

which contains various articles about CSP, CCS etc.

By kkoehne at Wed, 2006-01-18 14:47 | login or register to post comments