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

Jean-Raymond Abrial
ETH Z├╝rich, Switzerland

J.-R. Abrial, D. Cansell:
Formal Construction of a Non-blocking Concurrent Queue Algorithm
/jucs_11_5/formal_construction_of_a
page 744 - 770
Vol.11 / Issue 5
J.-R. Abrial:
Formal Methods: Theory Becoming Practice
/jucs_13_5/formal_methods_theory_becoming
page 619 - 628
Vol.13 / Issue 5