1071 search results - page 21 / 215 » The Calculus of Algebraic Constructions |
COORDINATION
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
JLP
2011
13 years 16 days ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
IJMMSC
2010
13 years 4 months ago
2010
Using the diagrammatic calculus for Soergel bimodules, developed by B. Elias and M. Khovanov, as well as Rasmussen's spectral sequence, we construct an integral version of HO...
JSYML
2008
13 years 9 months ago
2008
This article is devoted to two different generalizations of projective Boolean algebras: openly generated Boolean algebras and tightly -filtered Boolean algebras. We show that for ...
COMBINATORICS
2004
13 years 9 months ago
2004
We give the construction of a free commutative unital associative Nijenhuis algebra on a commutative unital associative algebra based on an augmented modified quasi-shuffle produc...