taowen

I just found this interesting research area. From the name, we can see it may have something in common with λ-calculus. Indeed, as λ-calculus is semantic foundation the functional programming, π-calculus is the semantic foundation of concurrent programming. I am very new to this area, so I nearly know nothing about it. But I do think it is very very important. So Here is some reference: The Polyadic π-Calculus: a Tutorial Pict: A Programming Language based on the π-Calculus The Polymorphic π-Calculus: Theory and Implementation A page about the pi calculus (and Business Process Management) List of publications by Robin Milner Robin Milner's Home Page Pi-Calculus Links Calculi for Mobile Processes Feb 6th 2006: I read and heard a lot about pi recently. And a friend decided to include topics about comparing pi and petri in her master paper. But someone said, petri is already providing all workflow application needs. If you don't need the mobility, petri is actually enough. I don't know if it is true. I will keep tracking it if I have time and interest.