709 search results - page 24 / 142 » An Equational Theory for Transactions |
SIAMMA
2010
14 years 5 months ago
2010
Abstract. We develop the theory of degenerate and nonlinear evolution systems in mixed formulation. It will be shown that many of the well-known results for the stationary problem ...
RTA
2010
Springer
15 years 3 months ago
2010
Springer
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary...
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
68
Voted
ICALP
2004
Springer
15 years 4 months ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
109
click to vote
TARK
2009
Springer
15 years 5 months ago
2009
Springer
Kolmogorov’s setting for probability theory is given an original generalization to account for probabilities arising from Quantum Mechanics. The sample space has a central role ...