39 search results - page 3 / 8 » A Calculus for Long-Running Transactions |
ESOP
2010
Springer
13 years 11 months ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
KRDB
2003
13 years 7 months ago
2003
Flat transactions with savepoints are a variation of the classical flat transactions that allows the user to go undo work done so far back to a certain point within the transacti...
CONCUR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
FORTE
2008
13 years 7 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
HASE
2008
IEEE
14 years 6 days ago
2008
IEEE
