The syntax is rather elaborate, but if you look at it, in the end it is not all that complicated, so you have a syntactic category of prefixes, this says send the name x through the channel a. This means receive along the channel n a a name. This is perform an internal action. And here you have all your agents: the nil agent, the agent which makes an action and then turns into P, the not-deterministic sum, the parallel sum to operators for branching. This is extremely interesting, this is the restriction operator, this is a construction which makes the name x private to P, so here knew the notes a binding operator. So this is a binding operator and that is a binding operator. So, you see, in the l-calculus you have just one binding operator l. Here you have in the p-calculus two binding operators: new and this.

---