Author

Profile picture
Dominique Cansell
Université de Metz & LORIA
France
2 articles by this author
Sort by:
Formal ...
Research Article
Formal Construction of a Non-blocking Concurrent Queue Algorithm
Jean-Raymond Abrial, Dominique Cansell
10.3217/jucs-011-05-0744
 28-05-2005
 Unique: 561 | Total: 675  | Access Period:
 744-770
HTML
XML
PDF
Diagram ...
Research Article
Diagram Refinements for the Design of Reactive Systems
Dominique Cansell, Dominique Mery, Stephan Merz
10.3217/jucs-007-02-0159
 28-02-2001
 Unique: 620 | Total: 891  | Access Period:
 159-174
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK