Application of the Composition Principle to Unity-like Specifications. - Pierre Collette (TAPSOFT, 1993)

On Unifying Assumption-Commitment Style Proof Rules for Concurrency. - Qiwen Xu; Antonio Cau; Pierre Collette (CONCUR, 1994)

Environment-based Development of Reactive Systems. - Yves Ledru; Pierre Collette (Refine, 1994)

An Explanatory Presentation of Composition Rules for Assumption-Commitment Specifications. - Pierre Collette (Inf. Process. Lett., 1994)

Composition of Assumption-Commitment Specifications in a UNITY Style. - Pierre Collette (Sci. Comput. Program., 1994)

Design of compositional proof systems based on assumption-commitment specifications: application to UNITY. - Pierre Collette (1994)

Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY. - Pierre Collette; Edgar Knapp (AMAST, 1995)

Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency. - Antonio Cau; Pierre Collette (Acta Informatica, 1996)

A Foundation for Modular Reasoning About Safety and Progress Properties of State-Based Concurrent Programs. - Pierre Collette; Edgar Knapp (Theor. Comput. Sci., 1997)

Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. - Pierre Collette; Cliff B. Jones (Proof, Language, and Interaction, 2000)