Journal: Formal Asp. Comput.

Volume 14, Issue 4

339 -- 0. Editorial
340 -- 341Kristen Nygaard. Obituary: Ole-Johan Dahl
342 -- 368Dimitrie O. Paun, Marsha Chechik. On Closure Under Stuttering
369 -- 399Hidetaka Kondoh. Abstract Data Types Can Have Inequations1

Volume 14, Issue 3

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

Volume 14, Issue 2

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

Volume 14, Issue 1

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