709 search results - page 13 / 142 » An Equational Theory for Transactions |
100
click to vote
IANDC
2010
14 years 8 months ago
2010
Iterative monads of Calvin Elgot were introduced to treat the semantics of recursive equations purely algebraically. They are Lawvere theories with the property that all ideal sys...
APPML
2004
14 years 11 months ago
2004
We consider a paper of Bana
ALP
1990
Springer
15 years 3 months ago
1990
Springer
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
113
click to vote
WOLLIC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
FSKD
2007
Springer
15 years 26 days ago
2007
Springer
A new type of database anomaly is described by addressing the concept of Cumulated Anomaly in this paper. Dubiety-Determining Model (DDM), which is a detection model basing on sta...