Sciweavers

1015 search results - page 25 / 203
» Syntactic Control of Concurrency
Sort
View
COORDINATION
2006
Springer
14 years 6 days ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
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...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
SIGMOD
1999
ACM
107views Database» more  SIGMOD 1999»
14 years 23 days ago
Efficient Concurrency Control for Broadcast Environments
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...
Jayavel Shanmugasundaram, Arvind Nithrakashyap, Ra...