290 search results - page 26 / 58 » Congruence for Structural Congruences |
128
click to vote
ICFCA
2010
Springer
15 years 4 months ago
2010
Springer
Let L → H be a lattice homomorphism and let a “readable” drawing of H be given. It is natural to make use of it to try getting a clear(er) drawing of L. Hence, the following ...
PROCOMET
1998
14 years 11 months ago
1998
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...
79
Voted
CORR
2008
Springer
14 years 9 months ago
2008
Springer
We provide a characterisation of strong bisimilarity in a fragment of CCS that contains only prefix, parallel composition, synchronisation and a limited form of replication. The ch...
NJC
2006
14 years 9 months ago
2006
We axiomatize the congruence relation for binding bigraphs and prove that the generated theory is complete. In doing so, we define a normal form for binding bigraphs, and prove tha...
72
Voted
IJAC
2007
14 years 9 months ago
2007
In this paper we consider Property (FA) for lattices in SU(2, 1). First, we prove that SU(2, 1; O3) has Property (FA). We then prove that the arithmetic lattices in SU(2, 1) of se...