default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal 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 W. 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
Volume 14, Number 4, April 2003
- Editorial. 339
- Kristen Nygaard:
Obituary: Ole-Johan Dahl. 340-341 - Dimitrie O. Paun, Marsha Chechik:
On Closure Under Stuttering. 342-368 - Hidetaka Kondoh:
Abstract Data Types Can Have Inequations1. 369-399
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-13 21:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
