Pi-calculus Notes

We have formed a Formal Methods Reading Group. We plan a series of meetings to read and understand Robin Milner's book "Communicating and Mobile Systems: the pi-calculus". The notes are written up after the meetings are over with the hindsight provided by discussions during the meeting.
FMRG-1.pdf
View Download		 These are notes after the first meeting. We attempt to show the big picture.   51k v. 7 Mar 8, 2010 11:18 PM Viswanath Kasturi
FMRG-2.pdf
View Download		 Notes of the second meeting.     81k v. 4 Mar 8, 2010 11:03 PM Viswanath Kasturi
FMRG-3.pdf
View Download		 "The Case of the Faulty Vending Machine - An Allegory for Software Engineers": We try to explain why Milner considers the classical theory of automata to be inadequate and also try to motivate his definition of strong equivalence of automata.      63k v. 10 Mar 12, 2010 7:22 AM Viswanath Kasturi
FMRG-4.pdf
View Download		 The fourth meeting's notes in which we define strong simulations and strong bisimulations using choice maps and illustrate the ideas with examples taken from Milner's book in a modified form.   99k v. 1 Mar 14, 2010 3:26 AM Viswanath Kasturi
FMRG-5.pdf
View Download		 We conclude the third chapter by discussing the notion of bisimilariy of states in an automaton and finish with the example of the scheduler.  82k v. 1 Mar 21, 2010 4:10 AM Viswanath Kasturi