According to our database1, Pierre Collette
Legend:Book In proceedings Article PhD thesis Other
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
A Foundation for Modular Reasoning About Safety and Progress Properties of State-Based Concurrent Programs.
Theor. Comput. Sci., 1997
Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency.
Acta Inf., 1996
Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY.
Proceedings of the Algebraic Methodology and Software Technology, 1995
Composition of Assumption-Commitment Specifications in a UNITY Style.
Sci. Comput. Program., 1994
An Explanatory Presentation of Composition Rules for Assumption-Commitment Specifications.
Inf. Process. Lett., 1994
On Unifying Assumption-Commitment Style Proof Rules for Concurrency.
Proceedings of the CONCUR '94, 1994
Application of the Composition Principle to Unity-like Specifications.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993