Pierre Collette

Publication Activity (10 Years)

Years Active: 1993-2000
Publications (10 Years): 0

Publications

Pierre Collette, Cliff B. Jones
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. Proof, Language, and Interaction (2000)
Pierre Collette, Edgar Knapp
A Foundation for Modular Reasoning About Safety and Progress Properties of State-Based Concurrent Programs. Theor. Comput. Sci. 183 (2) (1997)
Antonio Cau, Pierre Collette
Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency. Acta Informatica 33 (2) (1996)
Pierre Collette, Edgar Knapp
Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY. AMAST (1995)
Qiwen Xu, Antonio Cau, Pierre Collette
On Unifying Assumption-Commitment Style Proof Rules for Concurrency. CONCUR (1994)
Pierre Collette
Composition of Assumption-Commitment Specifications in a UNITY Style. Sci. Comput. Program. 23 (2-3) (1994)
Pierre Collette
An Explanatory Presentation of Composition Rules for Assumption-Commitment Specifications. Inf. Process. Lett. 50 (1) (1994)
Yves Ledru, Pierre Collette
Environment-based Development of Reactive Systems. Refine (1994)
Pierre Collette
Application of the Composition Principle to Unity-like Specifications. TAPSOFT (1993)