Pierre Collette

According to our database, Pierre Collette authored at least 9 papers between 1993 and 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2000

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

Pierre Collette, Cliff B. Jones

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1997

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

Pierre Collette, Edgar Knapp

Theor. Comput. Sci., 1997

1996

Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency.

Antonio Cau, Pierre Collette

Acta Informatica, 1996

1995

Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY.

Pierre Collette, Edgar Knapp

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Composition of Assumption-Commitment Specifications in a UNITY Style.

Pierre Collette

Sci. Comput. Program., 1994

An Explanatory Presentation of Composition Rules for Assumption-Commitment Specifications.

Pierre Collette

Inf. Process. Lett., 1994

Environment-based Development of Reactive Systems.

Yves Ledru, Pierre Collette

Proceedings of the 6th Refinement Workshop, 1994

On Unifying Assumption-Commitment Style Proof Rules for Concurrency.

Qiwen Xu, Antonio Cau, Pierre Collette

Proceedings of the CONCUR '94, 1994

1993

Application of the Composition Principle to Unity-like Specifications.

Pierre Collette

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993