709 search results - page 15 / 142 » An Equational Theory for Transactions |
155
Voted
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
81
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
It has been asserted previously by the author that optimal control theory can be a valuable framework for theoretical studies about the shape that a wind instrument should have in...
ENTCS
2008
14 years 11 months ago
2008
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
We develop a discrete analogue of Hamilton