Pierre Collette

发表

Composition of Assumption-Commitment Specifications in a UNITY Style

Pierre Collette, P. Collette, 1994, Sci. Comput. Program..

An Explanatory Presentation of Composition Rules for Assumption-Commitment Specifications

Pierre Collette, 1994, Inf. Process. Lett..

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

Pierre Collette, Edgar Knapp, 1995, AMAST.

Parallel composition of assumption-commitment specifications

Antonio Cau, Pierre Collette, 2009, Acta Informatica.

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

Pierre Collette, Edgar Knapp, Edgar Knapp, 1997, Theor. Comput. Sci..

On Unifying Assumption-Commitment Style Proof Rules for Concurrency

Antonio Cau, Qiwen Xu, Pierre Collette, 1994, CONCUR.

Electronic payment terminal team of a device for the energy save

Pierre Collette, Richard Besson, 2000 .

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

Cliff B. Jones, Pierre Collette, Cliff B. Jones, 2000, Proof, Language, and Interaction.

Application of the Composition Principle to Unity-like Specifications

Pierre Collette, P. Collette, 1993, TAPSOFT.

Science case for 1 mas spectro-imagining in the near-infrared

Karl-Heinz Hofmann, Dimitri Mawet, Olivier Absil, 2008, Astronomical Telescopes + Instrumentation.

Environment-based Development of Reactive Systems

Yves Ledru, Pierre Collette, Y. Ledru, 1994, Refine.