### Table 2 Syntax of messages, expressions and formulae for the pi-calculus

"... In PAGE 7: ... In order to unify the presentation of the pi-calculus and the spi-calculus, we have parametrised the syntax of processes Table 1 by messages, expressions and formulae. Table2 read in conjunction with Table 1 gives the syntax of the pi-calculus, whereas for the spi-calculus, Table 3 and Table 1 should be considered. The main difference between the pi-calculus and the spi-calculus is that it is possible in the latter to send and receive compound messages; in particular, a cyphertext of the form EN(M) denotes the message M encrypted with the shared key N (which might itself be a compound message).... ..."

### Table 2.4: Processes, types and typing rules of the simply typed pi-calculus

2005

### Table 1 The syntax of the pi-calculus.

2007

"... In PAGE 2: ... In this paper we use a standard variant of the monadic pi-calculus without recursion and replication. The syntax of the calculus is defined in Table1 . We let P, Q etc.... ..."