author : Michel Charpentier

Short works

• Towards a Compositional Approach to the Design and Verification of Distributed Systems. 1999. (In FM'99 volume 1 )
• Predicate transformers for composition. 2000. (In Millennial Perspectives in Computer Science )