1471 search results - page 35 / 295 » Composing concurrency control |
159
Voted
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
188
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
133
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
174
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
A crucial consideration in environments where data is broadcast to clients is the low bandwidth available for clients to communicate with servers. Advanced applications in such en...
