97 search results - page 1 / 20 » ccs 2005 |
122
Voted
CCS
2005
ACM
16 years 29 days ago
2005
ACM
172
Voted
CCS
2005
ACM
16 years 29 days ago
2005
ACM
135
Voted
CCS
2005
ACM
16 years 29 days ago
2005
ACM
153
Voted
CCS
2005
ACM
16 years 29 days ago
2005
ACM
161
Voted
CONCUR
2005
Springer
16 years 29 days ago
2005
Springer
We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtr...