Author

Profile picture
Dominique Cansell
Université de Metz & LORIA
France
2 articles by this author
Sort by:
Formal Construction of a Non-blocking ...
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: 882 | Total: 1139
 744-770
HTML
XML
PDF
Diagram Refinements for the Design of ...
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: 980 | Total: 1387
 159-174
HTML
XML
PDF

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

OK