1491 search results - page 55 / 299 » Resource-Passing Concurrent Programming |
CAV
2008
Springer
13 years 12 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
CSSE
2008
IEEE
14 years 4 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...
CONCUR
2010
Springer
13 years 11 months ago
2010
Springer
This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs ar...
AMAST
2006
Springer
14 years 1 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
TOOLS
2009
IEEE
14 years 4 months ago
2009
IEEE
