1491 search results - page 66 / 299 » Resource-Passing Concurrent Programming |
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
PLDI
2009
ACM
14 years 4 months ago
2009
ACM
ESOP
2007
Springer
14 years 4 months ago
2007
Springer
FMCO
2006
Springer
14 years 1 months ago
2006
Springer
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
APLAS
2008
ACM
13 years 12 months ago
2008
ACM
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....