Formal Aspects of Computing, Volume 10

Volume 10, Number 1, 1998

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

Volume 10, Number 2, 1998

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

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

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
  
• Jan E. Jonker:
  Knaster-Tarski Revisited. 214-232
  
• Richard F. Paige:
  Heterogeneous Notations for Pure Formal Method Integration. 233-242
  
• Martin C. Henson:
  The Standard Logic of Z is Inconsistent. 243-247
  
• Luc Léonard, Guy Leduc:
  A Formal Definition of Time in LOTOS. 248-266
  
• Ana Cavalcanti, Jim Woodcock:
  ZRC - A Refinement Calculus for Z. 267-289
  
• Eric C. R. Hehner:
  Formalization of Time and Space. 290-306
  

Volume 10, Number 4, 1998

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

Volume 10, Numbers 5-6, 1998

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