286 search results - page 2 / 58 » A calculus of atomic actions |
RTA
2010
Springer
13 years 8 months ago
2010
Springer
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
ICDCS
1990
IEEE
13 years 9 months ago
1990
IEEE
This paper develops some control structures suitable for composing fault-tolerant distrib uted applications using atomic actions (atomic transactions) as building blocks, and then...
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
ADAEUROPE
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and w...
CONCUR
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We examine the role of transactional memory from two perspectives: that of a programming language with atomic actions and that of implementations of the language. We argu...