### Table 4. Derived rules.

1992

"... In PAGE 10: ... We also subsume some of the laws for structural congruence (see Table 2) and the convention that [x=x] : P = 1 : P. The axioms of the up-calculus are given in Table 3, and in Table4 we present some derived rules (whose names start with D). De nition 13.... ..."

Cited by 70

### Table 4: Derived rules.

"... In PAGE 13: ... We also subsume some of the laws for structural congruence (see Table 2) and the convention that [x=x] : P = 1 : P . The axioms of the up-calculus are given in Table 3, and in Table4 we present some derived rules (whose names start with D). De nition 9 A substitution agrees with a match sequence ~ M, and ~ M agrees with , if for all x; y which appear in ~ M it holds that (x) = (y) i ~ M ) [x = y].... ..."

### Table 1. Derivation rules of PiOZ

"... In PAGE 7: ... The fact that a state guard G is valid under the semantic function AR is denoted by the following notation: AR AF G which reads G is valid under the semantic function AR. The fact that an operation OpB4xBDBN BM BM BM BN xnB5 is valid under the se- mantic function ARBN ARBC is denoted by ARBN ARBC AF OpB4xBDBN BM BM BM BN xnB5 We describe the operational behaviour of PiOZ by the derivation rules presented in Table1 . These rules are ap- plied to systems of concurrent objects.... ..."

### Table 3 Derived association rules

2006

"... In PAGE 8: ...e further describe how the MIS values are defined in Section 3.3.3. Table 2 presents the data produced as output from clustering, which in turn are used as input for associ- ation rules mining. Table3 presents the derived association rules concerning the associations between the data-items of the Member Method Parameters entity. 3.... ..."

### Table 2. Derivation rules for mCRL2 processes

2007

"... In PAGE 10: ...Table 2. Derivation rules for mCRL2 processes The derivation rules for mCRL2 processes from Table2 are used to prove equalities between processes. Here, and in all other tables in this paper, p, q, and r are arbitrary process expressions, f is an operator from the signature of mCRL2, Ax refers to the collection of axioms of mCRL2 as presented in this paper, PD refers to the collection of user-defined process definitions, x is a data variable, d and e are data expressions, and p[d/x] denotes the result of substituting d for x in p in a capture-avoiding way.... ..."

Cited by 3

### Table 2. Number of selected features and derived rules for each predicted output.

"... In PAGE 6: ... All the fuzzy rule bases obtained adopting the MISO approach without feature selection present 8 rules with 32 input variables. In Table2 are reported the rule and input numbers for each of the fuzzy model generated with the implementation of the feature selection procedure. 6 Conclusions The proposed modeling framework provides an effective tool for automatically... ..."