139 search results - page 3 / 28 » Abstracting Synchronization in Concurrent Constraint Program... |
154
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
171
Voted
ACSD
2009
IEEE
16 years 1 days ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
154
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
121
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Concurrent programs are difficult to write, reason about, re-use, and maintain. In particular, for system-level ions that use a shared memory abstraction for thread or process syn...