645 search results - page 62 / 129 » concurrency 2007 |
85
Voted
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
91
Voted
DNIS
2007
Springer
15 years 6 months ago
2007
Springer
A read-only transaction (ROT) does not modify any data. The main issues regarding processing ROTs are correctness, data currency and performance. Two-phase Locking (2PL) protocol i...
100
click to vote
ECOWS
2007
Springer
15 years 6 months ago
2007
Springer
For improved flexibility and concurrent usage existing transaction management models for Web services relax the isolation property of Web service-based transactions. Correctness o...
93
Voted
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...