Talk:Π-calculus

Recent cleanup
I cleaned up the presentation quite a bit. In particular, the presentation of structural congruence had become confusing, and as a consequence the account of the reduction semantics was close to meaningless. I also added a short example that should explain the finer points of name passing. If I find the time at some point, I will add a short section about type systems. HansHuttel 16:50, 5 Jul 2006 (UTC)

Operator precedence
Would it be appropriate to include a table of operator precedence? As a novice, it took me a long time to figure out if $$\overline{x}\langle z \rangle.P | x(y).Q$$ should be parsed as $$(\overline{x}\langle z \rangle.P) | (x(y).Q)$$ or $$\overline{x}\langle z \rangle.(P | x(y).Q)$$.