520 search results - page 18 / 104 » An Algebraic Semantics for MOF |
JLP
2008
13 years 7 months ago
2008
ENTCS
1998
13 years 7 months ago
1998
CORR
2010
Springer
13 years 7 months ago
2010
Springer
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
SIGMOD
1987
ACM
13 years 11 months ago
1987
ACM
In this paper we discuss extensions to the conventional relatronal algebra to support transaction time We show that these extensions are applicable to hrstorlcal algebras that sup...