### Table 1. Algebraic speci cation frameworks

909

"... In PAGE 3: ... 1 Background A large number of algebraic speci cation frameworks have been provided during the past 25 years of research, development, and applications in this area. Table1 lists the main frameworks, with a rough indication of their chronology. Some of them are ambitious, wide-spectrum frameworks, equipped with a full ? E-mail: pdmosses@brics.... ..."

### Table 1: Towards a Comprehensive Metric

"... In PAGE 11: ...11 I would like to suggest a way to conceptualize the components of the digital divide and suggest a model that reflects interrelations among these factors. Table1 is a compilation from diverse sources that refer to relations of indicators of the digital divideiii. This table illustrates the numerous theoretical, empirical, and summary attempts at defining and measuring the digital divide, and this table provides us with the basis for a comprehensive model and framework.... In PAGE 12: ... This summary organizes the available literature and theoretical claims by sources of study, type of study, and origin of use for particular constructs. Drawing from these studies and the summary in Table1 , I can generate a conceptual map of the interrelations of the above factors. This preliminary conceptualization is shown in Figure 1.... ..."

### Table 1: Laws of Algebra of Paraconsistent Relations

1995

"... In PAGE 9: ... The second part of the result can be shown similarly. 2 Table1 gives some more algebraic laws involving the set-theoretic operators. The symbols and 0 in the table denote the empty and universal total relations, respectively, i.... ..."

Cited by 13

### Table 2: Formal Patterns in Networks (as elements in the study of coherence)

2002

"... In PAGE 59: ...in Table 1, as detailed in Table2 , being the principal formal patterns that we will investigate. Some of the insights of complexity theory are articulated within this framework and generate the following kinds of heuristic hypotheses: 3.... In PAGE 60: ...1.3 Interdependence Interdependence among the four pattern principles in Table2 occurs in pairings (see Figure 1): the grouping logic of relational solidarity is paired with an exchange logic between groups (which are not however automatically solidarity); and the analogous-positions logic in a behavioral system is paired with the formal or organizational activity allocation logic (but these two logics are not necessarily well coordinated). Pairing principles come out of balance theory as a principle of structural cohesion.... In PAGE 61: ... The predictive consequences of measures of cohesion or adhesion for substantive variables in ethnographic and sociological studies have been shown for social class ( Brudner and White 1997), leadership and group solidarity ( Johansen and White 2002), group segmentation in conflict (White and Harary 2001), and attachment to school (Moody and White 2001), for example. As shown in Table2 , while in cohesive blocking connections are grouped within sets, graph coloring is a homomorphism (generating color equivalence as a partition of nodes; edges can also be partitioned ed by similar principles) that goes in the opposite direction to observe the organization of equivalence sets when connections are limited to those between sets. Homomorphisms such as colorings are complementary to lattice structures (such as cohesive blocking hierarchies, which do not result in partitions) as principles in graph theory.... In PAGE 61: ... In the next phase of research we will generalize cohesive blocking to the study of role structure as developed by Oeser and Harary (1964, 1979), where we try to find tasks that cohere with one another, people who cohere with tasks, and coherence among formal roles (algebraic products of people by positions and positions by tasks) as opposed to emergent ones (people by people and people by tasks). Table2 shows some of the ways in which these approaches differ. No one as yet has shown how these different aspects of network modeling might be unified around an integrated sociocultural theory, mathematically well formulated, of the socially interactive basis of cognition and the coherence of human behavioral systems (see Hutchins 1996; Moore 1998; Goodenough Ch.... ..."

### Table 2: Action relations for the Algebra of Communicating Processes with the empty action

1997

Cited by 3

### Table 2: Heterogeneous Systems

1995

"... In PAGE 51: ...12 Conclusions Tables 2, 3, 4 and 5 present a comparative analysis of the systems. In Table2 we characterize as complete systems, systems that, in addition to providing an integration framework and a transaction model, support network communication and various operating system facilities. Thor is di erent from the other systems described in that it does not support the integration of pre-existing systems.... ..."

Cited by 55

### Table 4: Process Algebra Formalisms

1997

Cited by 2

### Table 1. A* versus relational Algebra.

"... In PAGE 17: ...onsequently the elaboration of any language based on A* (i.e.: ERA* Language) depends on the object/relational queries space to be expressed. From a purely relational point of view, A* is complete in the sense where it offers the possibility of expressing any relational query (see comparison in the Table1 .).... In PAGE 17: ... Compared to the Codd apos;s relational algebra, A*-algebra contains five basic operators and two derived operators. We give in Table1 the algorithmic structure to translate A* into relational algebra. The set of basic operators of A* contains operators based on the first order logic (e.... In PAGE 17: ... The derived operators Tclose* and Compose* are based on the composition and transitive closure operations, defined by Codd. We notice that the A* operators are a more simply way to express queries that necessitate many Codd relational operators (see Table1 ). Extensions operators in A*.... ..."

### Table 3: The algebra BZ

"... In PAGE 5: ... (1994). As a final example we look at the relation algebra BZ generated by the natural order of an atomless Boolean algebra BU with the extreme elements removed ( Table3 ); we let C8 BPAK and C8C8 BPAC.Observe that BWBW is Boolean complementation.... ..."