### Table 2: Basic Routing Algebras.

"... In PAGE 4: ... 2.3 Base Algebras Table2 presents a collection of simple routing algebras, together with their monotonicity property. Each algebra is now explained in turn.... ..."

### Table 2: Basic Algebraic Laws

"... In PAGE 28: ...18 4 The High Level Petri Box Calculus 4.1 Algebraic Laws Table2 contains a selection of Algebraic Equivalences which we conjecture hold for High Level Petri Boxes. The demonstration of these laws is left to another paper, here follows a brief description.... ..."

### Table 2: Properties of various MAlg( ). The initial object in MAlgW( ) is the empty algebra and for this reason we had indicated that it is not \of interest quot;. But at least this category has initial objects as well as several other desirable basic properties { the two other categories possess almost none of them. It has perhaps been a prevailing opinion among mathematicians interested in the question that weak homomorphisms of relational structures provide the most useful notion. The above results justify and demonstrate this opinion. We have thus studied all the cases of one type of compositional homomorphisms { case 1) from theorem 2.3. We conjecture that the negative results about the tight and closed homomorphisms of this type will also occur for the tight and closed variants of the remaining three types.

### Table 1: Basic process algebra with autonomous actions

1995

"... In PAGE 2: ...ur basic algebra BPAaa is an extensionof BPA : basic process algebra with inaction (c.f. [BaWe90]). The signature and axioms are given in Table1 . First, in the header, the sort of atoms (A) is declared, which is a parameter of the theory.... In PAGE 2: ... The I axioms (for inequality ) state that unstable nondeterminism may be reduced in an implemen- tation. The algebra BPAaa is obtained from BPAaa by removing these inequalities from the axioms in Table1 . Note that BPAaa with atoms A equals BPA with atoms AC.... ..."

Cited by 2

### Table 1: BNA: Basic network algebra .

"... In PAGE 5: ...g. axiom B10 in Table1 ) and notational convenience it is useful to use the block extensions of the feedback and of the above constants. Their meaning may be obtained using the identities in axioms R5{R6 and B6, B8{B9, A12{A19, respectively.... In PAGE 6: ... The algebraic structure de ned by the BNA axioms was introduced in [Ste86, CaS88 amp;89] under the name of bi ow; in the more sistematic notation used in [Ste94] it is also called a -ssmc with feedback.2 The algebraic structure de ned by axioms B1{B10 in Table1 and A1{A19 in Table 2 was introduced in [CaS91] under the name d -ssmc. Finally, the algebraic structure de ned by all the axioms in Tables 1 and 2 is called d -ssmc with feedback, cf.... In PAGE 6: ... [Ste86, CaS88 amp;89]. Correctness: Using the graphical interpretation of the operations and of the constants it is easy to see that the axioms in Table1 are correct with respect to graph isomorphism equivalence.... ..."

### Table 8. Algebraic Specification Case Study. Time period 1997 - current

2000

Cited by 9

### Table 1 A SHEL description of the case study

2005

"... In PAGE 5: ... The basics on which socio- technical systems rely on can thus be generalised. Table1 shows a SHEL description of the case study. The accident [8,18] involved the following main resources, i.... ..."

Cited by 3

### Table 1 A SHEL description of the case study

"... In PAGE 5: ... The basics on which socio- technical systems rely on can thus be generalised. Table1 shows a SHEL description of the case study. The accident [8,18] involved the following main resources, i.... ..."

### Table 9: Assessment of ESIP as a Case Study of a SWAp in Basic Education

2003