238 search results - page 1 / 48 » Compositional Proof Methods for Concurrency: A Semantic Appr... |
COMPOS
1997
Springer
13 years 9 months ago
1997
Springer
LOGCOM
2007
13 years 5 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
ENTCS
2008
13 years 5 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
ESOP
2009
Springer
14 years 2 days ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
VMCAI
2009
Springer
14 years 2 days ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...