Search
Subscription
Submission Procedure
Login
User: anonymous
Special Issues
Volume 14 (2008)
Volume 13 (2007)
Volume 12 (2006)
Volume 11 (2005)
Volume 10 (2004)
Volume 9 (2003)
Volume 8 (2002)
Volume 7 (2001)
Volume 6 (2000)
Volume 5 (1999)
Volume 4 (1998)
Volume 3 (1997)
Volume 2 (1996)
Volume 1 (1995)
Volume 0 (1994)
Articles by Topics
Articles by Author
Board of Editors
List of Topics
What's New
Geographical Mashup
Aims and Scope
Submission Procedure
Subscription
Printed Publications
Collection of other papers
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
