Formal Aspects of Computing, Volume 14

Volume 14, Number 1, 2002

• John Cooke:
  Editorial. 1
  
• Michael J. Butler:
  On the Use of Data Refinement in the Development of Secure Communications Systems. 2-34
  
• David H. Pitt, Michael Shields:
  Local Invariance. 35-54
  
• Hartmann J. Genrich:
  Dynamical Quantities in Net Systems. 55-89
  

Volume 14, Number 2, December 2002

• Cliff B. Jones:
  Editorial. 91
  
• Krzysztof R. Apt:
  Edsger Wybe Dijkstra (1930-2002): A Portrait of a Genius. 92-98
  
• Edsger W. Dijkstra:
  EWD1300: The Notational Conventions I Adopted, and Why. 99-107
  
• Yifeng Chen:
  Generic Composition. 108-122
  
• Jürgen Dingel:
  A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. 123-197
  

Volume 14, Number 3, April 2003

• John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland:
  Editorial. 199
  
• Jean-Raymond Abrial, Dominique Cansell, Dominique Méry:
  A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. 215-227
  
• Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet:
  Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. 228-246
  
• Muffy Calder, Alice Miller:
  Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol. 247-266
  
• Viktor Schuppan, Armin Biere:
  Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV. 267-280
  
• Colin J. Fidge, Carron Shankland:
  But What if I Don't Want to Wait Forever? 281-294
  
• Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston:
  Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. 295-318
  
• Judi Romijn:
  False Loop Detection in the IEEE 1394 Tree Identify Phase. 319-327
  
• Mariëlle Stoelinga:
  Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol. 328-337