Search the dblp DataBase

Publications of Author

1. Pierre Collette, Edgar Knapp
   Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY. [Citation Graph (0, 0)][DBLP]
   AMAST, 1995, pp:353-367 [Conf]
   
2. Qiwen Xu, Antonio Cau, Pierre Collette
   On Unifying Assumption-Commitment Style Proof Rules for Concurrency. [Citation Graph (0, 0)][DBLP]
   CONCUR, 1994, pp:267-282 [Conf]
   
3. Pierre Collette
   Application of the Composition Principle to Unity-like Specifications. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, 1993, pp:230-242 [Conf]
   
4. Antonio Cau, Pierre Collette
   Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1996, v:33, n:2, pp:153-176 [Journal]
   
5. Pierre Collette
   An Explanatory Presentation of Composition Rules for Assumption-Commitment Specifications. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1994, v:50, n:1, pp:31-35 [Journal]
   
6. Pierre Collette
   Composition of Assumption-Commitment Specifications in a UNITY Style. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1994, v:23, n:2-3, pp:107-125 [Journal]
   
7. Pierre Collette, Edgar Knapp
   A Foundation for Modular Reasoning About Safety and Progress Properties of State-Based Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:183, n:2, pp:253-279 [Journal]
   
8. 
   Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. [Citation Graph (, )][DBLP]