RELMICS
2009
Springer
13 years 9 months ago
2009
Springer
RELMICS
2009
Springer
13 years 9 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 ...
RELMICS
2009
Springer
13 years 11 months ago
2009
Springer
RELMICS
2009
Springer
13 years 11 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...
RELMICS
2009
Springer
13 years 11 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...
RELMICS
2009
Springer
13 years 11 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 ...
RELMICS
2009
Springer
13 years 11 months ago
2009
Springer
