### Table 2.2 Axioms for Basic Process Algebra A1

2000

### Table 2.2 Axioms for Basic Process Algebra A1

2000

### Table 1. Ore algebras

1996

"... In PAGE 4: ...elds. We specify commutative ring or commutative eld when necessary. Moreover, all rings under consideration in this paper are of characteristic 0. Table1 gives examples of the type of operators we consider. All these operators share a very simple commutation rule of the variable @ with polynomials in x.... In PAGE 5: ...3 Examples of skew polynomial rings are given in Table1 . In all the cases under consideration in this table, A is of either form K[x] or K(q)[x] with K a eld.... In PAGE 6: ...lgebra F of functions, power series, sequences, distributions, etc. Then Eq. (1) extends to the following Leibniz rule for products 8f; g 2 F @i(fg) = i(f)@i(g) + i(f)g: (6)This makes F an S-algebra. The actions of the operators corresponding to important Ore algebras are given in Table1 . In the remainder of this article, we use the word \function quot; to denote any object on which the elements of an Ore algebra act.... In PAGE 8: ... Then O is left Noetherian and a non-commutative version of Buchberger apos;s algorithm terminates. As can be seen from Table1 , this theorem implies that many useful Ore algebras are left Noe-... In PAGE 12: ... Then the annihilating ideal for any product fg where f is annihilated by I and g is annihilated by K is also @- nite. As can be seen from Table1 , this hypothesis does not represent a severe restriction on the class of Ore algebras we consider. Again, f and g in this lemma need not be interpreted as functions but as generators of the O-mod-... ..."

### Table 1. BPA (Basic Process Algebra), left, and PA (Process Algebra), on the right

"... In PAGE 1: ... A typical example is the process Stack. It can be defined by a finite recur- sive specification over BPA (for the axioms of BPA see Table1 ), but not by a star Supported by the Netherlands Organisation for Scientific Research NWO in project GeoProc( Geometry of Processes , Nr.... ..."

### Table 1. A SHEL description of the case study. Resource Type Description

2003

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

Cited by 2

### Table 1. A SHEL description of the case study. Resource Type Description

2003

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

Cited by 2

### Table 4. Criteria Used to Assess IS Case Studies

"... In PAGE 11: ... (1994), Mays and Pope (1995), Devers (1999) and Patton (1999), a combination of areas and criteria were identified in order to assess the quality of IS case research. As shown in Table4 , the first area, Design of the case study, refers to those characteristics associated with the design of the study such as, the nature of the research purpose and research questions, as well as the criteria adopted for selecting the cases. The second area, Conduct of the case study, is basically concerned with the overall quality of the data collection process.... ..."

### Table 4. Criteria Used to Assess IS Case Studies

"... In PAGE 11: ... (1994), Mays and Pope (1995), Devers (1999) and Patton (1999), a combination of areas and criteria were identified in order to assess the quality of IS case research. As shown in Table4 , the first area, Design of the case study, refers to those characteristics associated with the design of the study such as, the nature of the research purpose and research questions, as well as the criteria adopted for selecting the cases. The second area, Conduct of the case study, is basically concerned with the overall quality of the data collection process.... ..."

### Table 3: Commutative division algebras.

"... In PAGE 32: ... Proposition 2.2 [1, Theorem 3] An algebra given by Table3 is a division algebra if and only if d2 lt; 4b a b c d . First, we consider the case when A has exactly one idempotent.... In PAGE 33: ... Lemma 2.4 An algebra determined by Table3 has exactly one idempotent if and only if either (2a d)2 lt; 4c(1 2b) or d = 2a; b = 1 2. Taking into account Proposition 2.... ..."

### Table 1: THE ALGEBRA OF BINARY FLOWNOMIALS .

1998

"... In PAGE 4: ... cation). In Table1 we use some particular cases of the rami cation and identi cation constants, namely ^0; ^2; _0; _2 denoted by ?; ^; gt;; _, respectively. In the standard version presented in [Ste94] there are three groups of algebraic equations (see Table 1): (A) a large group of algebraic equations for owgraphs modulo graph{isomorphism B1{B10, A1{A19, R1{R5 and F1{F5; (S) some critical algebraic equations S1{S4 for the data ow nodes for rami cation and identi cation; (Z) an axiom scheme ENZ, presented as a conditional equation.... In PAGE 5: ...Table1 are valid in the semantical models IRel(D). Suppose D is a set of value-vectors which represent the memory states of a computing device.... In PAGE 6: ... More details of the model(s) are presented in [BeS94, BrS96, BeS95]. Let us recall that not all the axioms in Table1 are valid in this model, but at least the BNA axioms hold. In the following we will use an extension of this setting to the many sorted case.... ..."

Cited by 9