Talk:Π-calculus
<templatestyles src="Module:Message box/tmbox.css"/><templatestyles src="Talk header/styles.css" />
| This is the talk page for discussing improvements to the Π-calculus Template:Pagetype. This is not a forum for general discussion of the article's subject. |
Article policies
|
| Template:Find sources |
| Archives: Template:Comma separated entries<templatestyles src="Template:Tooltip/styles.css" />Auto-archiving periodScript error: No such module "Check for unknown parameters".: Template:Human readable duration File:Information icon4.svg |
Script error: No such module "Check for unknown parameters".Script error: No such module "Check for deprecated parameters".
Template:WikiProject banner shell User:MiszaBot/config
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 should be parsed as or .
Syntax reference
The reference for the syntax is not consistent with the grammar that is presented. In Milner et al. 1992, there is no bang operator (!P), and recursion is dealt with recursion instead. Replication with !P and structural congruence seems much more common (and convenient) to me.
• (Milner, 2009): The space and motion of communicating agent mentions !P \equiv P | !P, but this is just a comment, not a definition on p. 130, §11.2.
• (Sangiorgi and Walker, 2001): The pi-calculus: a theory of mobile processes defines !P and the structural congruence rule !P \equiv P | !P
• I don't have a copy of (Milner, 1999): Communicating and mobile systems: the pi-calculus --- Maybe this is the first occurence of replication using bang and structural congruence?