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 BibTeX
Peter Gorm Larsen, Bo Stig Hansen: Semantics of Under-determined Expressions. 47-66 BibTeX
Karen Seidel, Paul H. B. Gardiner: Structured Development of a Virtual Shared Memory System. 67-85 BibTeX
Martin Simons, Matthias Weber: An Approach to Literate and Structured Formal Developments. 86-107 BibTeX
David Billington, R. Geoff Dromey: The Co-invariant Generator: An Aid in Deriving Loop Bodies. 108-126 BibTeX

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

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

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

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

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