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)$.