| 2000 |
|---|
| 8 | | Pierre Collette,
Cliff B. Jones:
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations.
Proof, Language, and Interaction 2000: 277-308 |
| 1997 |
|---|
| 7 | EE | Pierre Collette,
Edgar Knapp:
A Foundation for Modular Reasoning About Safety and Progress Properties of State-Based Concurrent Programs.
Theor. Comput. Sci. 183(2): 253-279 (1997) |
| 1996 |
|---|
| 6 | | Antonio Cau,
Pierre Collette:
Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency.
Acta Inf. 33(2): 153-176 (1996) |
| 1995 |
|---|
| 5 | | Pierre Collette,
Edgar Knapp:
Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY.
AMAST 1995: 353-367 |
| 1994 |
|---|
| 4 | | Qiwen Xu,
Antonio Cau,
Pierre Collette:
On Unifying Assumption-Commitment Style Proof Rules for Concurrency.
CONCUR 1994: 267-282 |
| 3 | | Pierre Collette:
An Explanatory Presentation of Composition Rules for Assumption-Commitment Specifications.
Inf. Process. Lett. 50(1): 31-35 (1994) |
| 2 | | Pierre Collette:
Composition of Assumption-Commitment Specifications in a UNITY Style.
Sci. Comput. Program. 23(2-3): 107-125 (1994) |
| 1993 |
|---|
| 1 | | Pierre Collette:
Application of the Composition Principle to Unity-like Specifications.
TAPSOFT 1993: 230-242 |
