Go home now Header Background Image
Submission Procedure
share: |
Follow us

Dominique Cansell
Université de Metz & LORIA, France

D. Cansell, D. Mery, S. Merz:
Diagram Refinements for the Design of Reactive Systems
page 159 - 174
Vol.7 / Issue 2
J.-R. Abrial, D. Cansell:
Formal Construction of a Non-blocking Concurrent Queue Algorithm
page 744 - 770
Vol.11 / Issue 5