1015 search results - page 4 / 203 » Syntactic Control of Concurrency |
TCS
2008
13 years 7 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
BIRTHDAY
2009
Springer
14 years 2 months ago
2009
Springer
CSL
2002
Springer
13 years 7 months ago
2002
Springer
POS
1994
Springer
13 years 11 months ago
1994
Springer
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...
RTDB
1996
13 years 8 months ago
1996
This paper shows how priority ceiling techniques can be added to object-based real-time semantic concurrency control. The resulting protocol provides more potential concurrency fo...