Download:
|
unknown authors
http://www.cse.dmu.ac.uk/~cau/papers/asco.ps.gz
Add To MetaCart
Abstract:
Parallel composition of assumption-commitment specifications a unifying approach for shared variable and distributed message passing concurrency A.Cau
Citations
|
26
|
Design of Compositional Proof Systems Based on Assumption-Commitment Specifications – Application to UNITY
– Collette
- 1994
|
|
12
|
Assumption/Commitment Rules for Networks of Asynchronously Communicating Agents
– len, Dederichs, et al.
- 1993
|
|
11
|
A compositional temporal approach to a csp-like language
– Barringer, Kuiper, et al.
- 1985
|
|
9
|
Some comments on the assumption-commitment framework for compositional verification of distributed programs
– Pandya
- 1990
|
|
8
|
A proof system for partial correctness of Dynamic Networks of Processes
– Zwiers, Bruin, et al.
- 1984
|
|
7
|
State-Based Proof Theory of Concurrency: from noncompositional to compositional methods. Book manuscript, 350 pages, Christian-Albrechts-Universitat zu
– Roever, Hooman, et al.
- 1994
|
|
1
|
G.D.: A logical view of composition. TCS 114
– Abadi, Plotkin
- 1993
|
|
1
|
W.-P.: Formalizing Dijkstra's development strategy within Stark's formalism
– Meth
- 1993
|
|
1
|
Tentative steps towards a development method for interfering programs
– Thesis
- 1981
|
|
1
|
K.M.: Proofs of networks of processes
– Lang, Syst
- 1983
|
