Hi everyone!!!!!!!
- What is a good book on Pi-calculus, which will give an idea of practical problems?
- Can you suggest some new technologies in Pi-calculus to learn?
Thank you.
views:
164answers:
4
+5
A:
One of the creators wrote a book that I have yet to read. There is a pi-calculus FAQ (pdf) that I found a useful introduction, with a bibliography.
How familiar are you with lambda calculus? In many ways it is simpler, and it is worth tackling first.
David Crawshaw
2009-10-11 09:56:17
+2
A:
You can find an interesting and very approachable explanation of the π-Calculus by Prof. Matthew Hennessy in "A Distributed Pi-Calculus" (from e.g. Amazon). It will also show you the Distributed version - for multi-site computation (migratory processes etc), which is an interesting technical extension you might not have seen.
Adam Wright
2010-01-16 21:46:27
A:
have any of you worked on mobility work bench for testing pi calculus modal if yes then pls help me i am having problem in installation. thanks
RAJNISH_IITB
2010-08-14 10:13:28
If you want to ask a question, don't put it in an answerbut start a new thread for it.The "Ask Question" button is in the top right of this page.More people would see your question and try to answer that way.Make sure to exactly describe the problem you have (error messages,...) else nobody will be able to help.
sth
2010-08-15 00:52:25