### Table1: Basic $-calculus operators

Cited by 3

### Table 1: Basic sequent calculus B Axioms

1997

Cited by 11

### Table 1. Basic notions from time scales calculus.

Cited by 1

### 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 1: Clock calculus of Lustre.

"... In PAGE 3: ...e., they are alive at the same instants): otherwise, what would the result of x+y be on an instant where x is alive and y is not alive? All input variables have the same clock, which is called the basic clock, denoted basic, and given by the sequence of instants 0; 1; 2; or equivalently the boolean ow true; true; true; : A simpli ed version of the clock calculus of Lustre is shown in Table1 . By convention, clock(basic) = basic.... ..."

### Table 1: Generalized Substitution Calculus operators

"... In PAGE 8: ...4.1 Generalized Substitution Calculus operators Table1 shows the basic syntactic constructs of the language concerning the fundamental substitutions defined by Abrial. In the table, P stands for a predicate on EAM classes and attributes and S and T for generic composition of basic substitutions and/or EAM... ..."

### Table 4 Encoding of the spi calculus

2003

"... In PAGE 10: ... The basic idea of the encoding is to represent an encrypted message with a sealed ambient that contains that message: communicating the encrypted message is then accounted for by communicating the name of the corresponding ambient. The formal de nition is given in Table4 in terms of three translation maps: h ip : Expressions 7! Expressions, [[ ]] p : Expressions 7! Processes, and [[ ]] : Processes 7! Processes. In the rst two (subsidiary) maps, p is the name of the ambient (if any) enclosing the message to be ex- changed.... ..."

Cited by 4

### Table 4 Encoding of the spi calculus

2003

"... In PAGE 10: ... The basic idea of the encoding is to represent an encrypted message with a sealed ambient that contains that message: communicating the encrypted message is then accounted for by communicating the name of the corresponding ambient. The formal definition is given in Table4 in terms of three translation maps: CWCWA1CXCXp : Expressions BJAX Expressions, CJCJA1CLCL p : Expressions BJAX Processes, and CJCJA1CLCL : Processes BJAX Processes. In the first two (subsidiary) maps, p is the name of the ambient (if any) enclosing the message to be exchanged.... ..."

Cited by 4