1015 search results - page 3 / 203 » Syntactic Control of Concurrency |
CSSE
2008
IEEE
14 years 1 months ago
2008
IEEE
Version control helps coordinating a group of people working concurrently to achieve a shared objective. Concurrency control helps coordinating a group of threads working concurre...
BIRTHDAY
2005
Springer
14 years 27 days ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
VLDB
1991
ACM
13 years 11 months ago
1991
ACM
Thrashing in transactionprocessingsystemscan be prevented by controlling the number of concurrently running transactions. Becausethe optimal concurrency level strongly dependson t...
ESOP
2004
Springer
14 years 22 days ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
ICALP
2005
Springer
14 years 26 days ago
2005
Springer
We investigate the decidability of observational equivalence and approximation in “Syntactic Control of Interference” (SCI). By asg denotations of terms in an inequationally fu...