### Table 1 The Calculus SAP

2002

"... In PAGE 3: ...n the full version [9], available at http://www.cogs.susx.ac.uk/reports.html. 2 The Calculus SAP The syntax of processes is given in Table1 and is basically the same as that in [5], except that each of the original capabilities has a co-capability, as in [8], and that now each capability has an extra argument h, 1Here, as in much of the paper, we will ignore passwords unless they play a central role in the discussion... ..."

Cited by 51

### Table 4: The calculus LHO

1999

"... In PAGE 19: ... We call the resulting calculus Local Higher-Order -calculus, brie y LHO . Its syntax and operational semantics are de ned by adding the productions and rules in Table4 to those of L . Passing a process is like passing a parameterless procedure.... ..."

### Table 4: The calculus LHO

"... In PAGE 19: ... We call the resulting calculus Local Higher-Order -calculus, brie y LHO . Its syntax and operational semantics are de ned by adding the productions and rules in Table4 to those of L . Passing a process is like passing a parameterless procedure.... ..."

### Table 1: -calculus

1999

Cited by 10

### Table 2: -calculus (continued)

1999

Cited by 10

### Table 1 Syntax of the calculus

2000

Cited by 2

### Tableaux and witnesses for the -calculus

1995

Cited by 2