Sciweavers

82 search results - page 1 / 17
» A Concurrent Calculus with Atomic Transactions
Sort
View
ESOP
2007
Springer
13 years 11 months ago
A Concurrent Calculus with Atomic Transactions
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
COORDINATION
2004
Springer
13 years 10 months ago
Optimistic Concurrency Semantics for Transactions in Coordination Languages
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
Suresh Jagannathan, Jan Vitek
ICDE
2008
IEEE
214views Database» more  ICDE 2008»
14 years 6 months ago
Adjourn State Concurrency Control Avoiding Time-Out Problems in Atomic Commit Protocols
Abstract-- The use of atomic commit protocols in mobile adhoc networks involves difficulties in setting up reasonable timeouts for aborting a pending distributed transaction. This ...
George Samaras, Martin Hett, Panos K. Chrysanthis,...
CAL
2006
13 years 4 months ago
Subtleties of Transactional Memory Atomicity Semantics
Abstract-- Transactional memory has great potential for simplifying multithreaded programming by allowing programmers to specify regions of the program that must appear to execute ...
Milo M. K. Martin, Colin Blundell, E. Lewis
DPD
2002
97views more  DPD 2002»
13 years 4 months ago
Dictatorial Transaction Processing: Atomic Commitment Without Veto Right
The current standard in governing distributed transaction termination is the so-called Two-Phase Commit protocol (2PC). The first phase of 2PC is a voting phase, where the partici...
Maha Abdallah, Rachid Guerraoui, Philippe Pucheral