RELMICS
2009
Springer
15 years 8 months ago
2009
Springer
113
click to vote
RELMICS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...
96
Voted
RELMICS
2009
Springer
15 years 10 months ago
2009
Springer
112
Voted
RELMICS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Boolean Contact Algebras (BCA) establish the algebraic counterpart of the mereotopolopy induced by the Region Connection Calculus (RCC). Similarly, Stonian p-ortholattice...
116
Voted
RELMICS
2009
Springer
15 years 10 months ago
2009
Springer
Using relation algebra, we generalize Aumann’s notion of a contact relation and that of a closure operation from powersets to general membership relations and their induced parti...
120
click to vote
RELMICS
2009
Springer
15 years 10 months ago
2009
Springer
We define collagories essentially as “distributive allegories without zero morphisms”, and show that they are sufficient for accommodating the relation-algebraic approach to ...
98
Voted
RELMICS
2009
Springer
15 years 10 months ago
2009
Springer
