Formal Aspects of Computing, Volume 8

Volume 8, Number 1, 1996

Paulo S. C. Alencar, Carlos José Pereira de Lucena: A Logical Framework for Evolving Software Systems. 3-46
Peter Gorm Larsen, Bo Stig Hansen: Semantics of Under-determined Expressions. 47-66
Karen Seidel, Paul H. B. Gardiner: Structured Development of a Virtual Shared Memory System. 67-85
Martin Simons, Matthias Weber: An Approach to Literate and Structured Formal Developments. 86-107
David Billington, R. Geoff Dromey: The Co-invariant Generator: An Aid in Deriving Loop Bodies. 108-126

Ketil Stølen, Frank Dederichs, Rainer Weber: Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm. 127-161
Padmanabhan Krishnan: Architectural CCS. 162-187
Jos C. M. Baeten, Jan A. Bergstra: Discrete Time Process Algebra. 188-208
Geoffrey Brown, Wayne Luk, John O'Leary: Retargeting a Hardware Compiler Using Protokol Converters. 209-237
Walter Hussak: On CCS with Parametric Relabelling. 238-244

Giuseppe Castagna: Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping. 247-293
Ping Zhou, Jozef Hooman, Ruurd Kuiper: Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic. 294-323
Ralph-Johan Back, Kaisa Sere: Superposition Refinement of Reactive Systems. 324-346
Roger Duke, Cecily Bailes, Graeme Smith: A Blocking Model for Reactive Objects. 347-368
J. Michael Spivey: The Consistency Theorem for Free Type Definitions in Z. 369-375

Matthew Hennessy, H. Lin: Proof Systems for Message-Passing Process Algebras. 379-407
David Scholefield: Real-Time Refinement in Manna and Pnueli's Temporal Logic. 408-427
Christoph Beierle, Egon Börger: Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. 428-462
Stefan Rönn: Invariants and Closures in the Theory of Rewrite Systems. 463-478
A. P. Martin, Paul H. B. Gardiner, Jim Woodcock: A Tactic Calculus-Abridged Version. 479-489
Mark Harman, Dan Simpson, Sebastian Danicic: Slicing Programs in the Presence of Errors. 490-497

Nancy A. Lynch, Frits W. Vaandrager: Action Transducers and Timed Automata. 499-538
Christoph Beierle, Egon Börger: Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. 539-564
J. Michael Spivey: Richer Types for Z. 565-584
Scott A. Smolka, Bernhard Steffen: Priority as Extremal Probability. 585-606
Susanne Graf, Bernhard Steffen, Gerald Lüttgen: Compositional Minimisation of Finite State Systems Using Interface Specifications. 607-616

Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders: Refinement-Oriented Probability for CSP. 617-647
Alban Ponse: Computable Processes and Bisimulation Equivalence. 648-678
Jeffery I. Zucker: Transformations of Normal and Inverted Function Tables. 679-705
Ruth Breu, Elena Zucca: An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract). 706-715
Murali Sitaraman: Impact of Performance Considerations on Formal Specification Design. 716-736