Sciweavers

7 search results - page 1 / 2
» relmics 2009
Sort
View
RELMICS
2009
Springer
14 years 2 months ago
A Model of Internet Routing Using Semi-modules
John N. Billings, Timothy G. Griffin
RELMICS
2009
Springer
14 years 8 hour ago
Towards Algebraic Separation Logic
Han-Hing Dang, Peter Höfner, Bernhard Mö...
RELMICS
2009
Springer
14 years 2 months ago
Contact Relations with Applications
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...
Gunther Schmidt, Rudolf Berghammer
RELMICS
2009
Springer
14 years 2 months ago
Collagories for Relational Adhesive Rewriting
We define collagories essentially as “distributive allegories without zero morphisms”, and show that they are sufficient for accommodating the relation-algebraic approach to ...
Wolfram Kahl