During the last decade, CCS has been extended in diier-ent directions, among them priority and real time. One of the most satisfactory results for CCS is Milner's complete proof system for observational congruence 28]. Observational congruence is fair in the sense that it is possible to escape divergence, reeected by an axiom recX:(:X + P) = recX:::P. In this paper we discuss observational cong...

Objective: The overall purpose of this study was to propose and test a conceptual model and apply family analyses methods to understand quality of life family congruence in the nursing home setting. Method: Secondary data for this study were from a larger study, titled Measurement, Indicators and Improvement of the Quality of Life (QOL) in Nursing Homes. Research literature, family systems theo...

Despite the importance of matching different viewpoints on IS service quality in organizations, there is still little understanding about how perceptual congruence between IS professionals and users affects user satisfaction. Drawing on cognitive dissonance theory and perceptual congruence research, our study examines 169 matched-pair survey responses using polynomial regression and response su...

Evidence of assortative mating according to personality was reported in a previous SOEP-based study (Rammstedt & Schupp, 2008). Based on population representative data of almost 7000 couples, high levels of congruence between spouses were found, which increased with marriage duration. Almost 5000 of these couples were tracked over a five-year period with personality assessed at the beginning an...

We prove some results about the limitations of the expressive power of quantiiers on nite structures. We deene the concept of a bounded quantiier and prove that every relativizing quantiier which is bounded is already rst-order deenable (Theorem 3.8). We weaken the concept of congruence closed (see 6]) to weakly congruence closed by restricting to congruence relations where all classes have the...

This paper ooers a complete inference system for branching bisimulation congruence on a basic sublanguage of CCS for representing regular processes with silent moves. Moreover, complete axiomatizations are provided for the guarded expressions in this language, representing the divergence-free processes, and for the recursion-free expressions, representing the nite processes. Furthermore it is a...

According to a central claim of Kornblum's dimensional-overlap model, response-related processes do not start before stimulus-related processes have been completed, which implies an additive relationship between effects of stimulus-stimulus congruence and stimulus-response compatibility. Three experiments were conducted to test this prediction. In Exp. 1, additive effects of color-word congruen...

A number of studies on political representation focus on the comparative assessments of citizen ideological congruence. But this literature has largely overlooked an important topic: the representation of social groups. While present studies of congruence investigate whether some countries perform better than others in terms of the levels of median citizen congruence, they cannot say much about...

This study aimed to examine the importance of value congruence in work engagement and to extend the previous literature by investigating the potential mediating effects of autonomous and controlled motivation in this relationship. The Perceived Value Congruence, Autonomous and Controlled Motivation and Work Engagement scales were administered to 767 teachers in Mainland China. Correlation analy...

Abstract. In 2007, Andrews and Paule introduced the family of functions ∆k(n) which enumerate the number of broken k–diamond partitions for a fixed positive integer k. In that paper, Andrews and Paule proved that, for all n ≥ 0, ∆1(2n + 1) ≡ 0 (mod 3) using a standard generating function argument. Soon after, Shishuo Fu provided a combinatorial proof of this same congruence. Fu also utilized th...