P. Collette

Parallel composition of assumption-commitment specifications a unifying approach for shared variable and distributed message passing concurrency

A. Cau, P. Collette, 1995 .

A Foundation for Modular Reasoning About Safety and Progress Properties of State-Based Concurrent Programs

Pierre Collette, Edgar Knapp, Edgar Knapp, 1997, Theor. Comput. Sci..

Application of the Composition Principle to Unity-like Specifications

Pierre Collette, P. Collette, 1993, TAPSOFT.

Enhancing the tractability of rely/guarantee specifications in the development of interfering operations

Cliff B. Jones, Pierre Collette, Cliff B. Jones, 2000, Proof, Language, and Interaction.

Environment-based Development of Reactive Systems

Yves Ledru, Pierre Collette, Y. Ledru, 1994, Refine.

Composition of Assumption-Commitment Specifications in a UNITY Style

Pierre Collette, P. Collette, 1994, Sci. Comput. Program..