Formal Aspects of Computing, Volume 10

Volume 10, Number 1, 1998

• Ingrid Rewitzky, Chris Brink: Unification of Four Versions of Program Semantics. 1-29 BibTeX
• Henri Korver, M. P. A. Sellink: A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes. 30-42 BibTeX
• Henri Korver, M. P. A. Sellink: Example Verifications Using Alphabet Axioms. 43-58 BibTeX
• Gary T. Leavens, Jeannette M. Wing: Protective Interface Specifications. 59-75 BibTeX
• Joseph M. Morris, Alexander Bunkenburg: Partiality and Nondeterminacy in Program Proofs. 76-96 BibTeX

Volume 10, Number 2, 1998

• David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh: A Program Refinement Tool. 97-124 BibTeX
• John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Specifying and Refining Internal Operations in Z. 125-159 BibTeX
• Philippe de Groote, Guy Perrier: A Note on Kobayashi's and Yonezawa's ``Asynchronous Communication Model Based on Linear Logic''. 160-170 BibTeX
• Tobias Nipkow: Winskel is (almost) Right: Towards a Mechanized Semantics. 171-186 BibTeX

• Ian J. Hayes: Expressive Power of Specification Languages. 187-192 BibTeX

Volume 10, Number 3, 1998

• Jürgen Dingel, David Garlan, Somesh Jha, David Notkin:
  Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. 193-213
  Electronic Edition (Springer LINK) BibTeX
• Jan E. Jonker:
  Knaster-Tarski Revisited. 214-232
  Electronic Edition (Springer LINK) BibTeX
• Richard F. Paige:
  Heterogeneous Notations for Pure Formal Method Integration. 233-242
  Electronic Edition (Springer LINK) BibTeX
• Martin C. Henson:
  The Standard Logic of Z is Inconsistent. 243-247
  Electronic Edition (Springer LINK) BibTeX
• Luc Léonard, Guy Leduc:
  A Formal Definition of Time in LOTOS. 248-266
  Electronic Edition (Springer LINK) BibTeX
• Ana Cavalcanti, Jim Woodcock:
  ZRC - A Refinement Calculus for Z. 267-289
  Electronic Edition (Springer LINK) BibTeX
• Eric C. R. Hehner:
  Formalization of Time and Space. 290-306
  Electronic Edition (Springer LINK) BibTeX

Volume 10, Number 4, 1998

• Stefania Gnesi, Diego Latella:
  Editorial. 311-312
  Electronic Edition (Springer LINK) BibTeX
• Marco Bernardo, Roberto Gorrieri, Marco Roccetti:
  Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet. 313-337
  Electronic Edition (Springer LINK) BibTeX
• Arne Borälv:
  Case Study: Formal Verification of a Computerized Railway Interlocking. 338-360
  Electronic Edition (Springer LINK) BibTeX
• Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso:
  Formal Verification of a Railway Interlocking System using Model Checking. 361-380
  Electronic Edition (Springer LINK) BibTeX
• Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche:
  The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems. 381-404
  Electronic Edition (Springer LINK) BibTeX
• Giorgio P. Faconti, Mieke Massink:
  Modelling and Verification of PREMO Synchronisable Objects. 405-434
  Electronic Edition (Springer LINK) BibTeX

Volume 10, Numbers 5-6, 1998

• Jan Friso Groote, Bas Luttik, Jos van Wamel:
  Editorial. 435
  Electronic Edition (Springer LINK) BibTeX
• Marie-Claude Gaudel, Perry R. James:
  Testing Algebraic Data Types and Processes: A Unifying Theory. 436-451
  Electronic Edition (Springer LINK) BibTeX
• Stuart Anderson, Konstantinos Tourlas:
  Design for Proof: An Approach to the Design of Domain-Specific Languages. 452-468
  Electronic Edition (Springer LINK) BibTeX
• Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper:
  Partial-order Reduction Techniques for Real-time Model Checking. 469-482
  Electronic Edition (Springer LINK) BibTeX
• Theofanis Vassiliou-Gioles, Ina Schieferdecker:
  Case Study in Protocol Validation: Validating an ATM Signalling Protocol. 483-508
  Electronic Edition (Springer LINK) BibTeX
• Carron Shankland, Mark van der Zwaag:
  The Tree Identify Protocol of IEEE 1394 in µCRL. 509-531
  Electronic Edition (Springer LINK) BibTeX
• Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm:
  Investigating the Integration of two Formal Methods. 532-549
  Electronic Edition (Springer LINK) BibTeX
• Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink:
  Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. 550-575
  Electronic Edition (Springer LINK) BibTeX