Pierre Collette

According to our database1, Pierre Collette
  • authored at least 8 papers between 1993 and 2000.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2000
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

1997
A Foundation for Modular Reasoning About Safety and Progress Properties of State-Based Concurrent Programs.
Theor. Comput. Sci., 1997

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

1995
Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY.
Proceedings of the Algebraic Methodology and Software Technology, 1995

1994
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

1993
Application of the Composition Principle to Unity-like Specifications.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993


  Loading...