RELMICS
2009
Springer
14 years 7 months ago
2009
Springer
RELMICS
2009
Springer
14 years 7 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
14 years 9 months ago
2009
Springer
RELMICS
2009
Springer
14 years 9 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
14 years 9 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
14 years 9 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
14 years 9 months ago
2009
Springer
