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
Volume 8, Number 2, 1996
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
Volume 8, Number 3, 1996
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
Volume 8, Number 4, 1996
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
Volume 8, Number 5, 1996
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
Volume 8, Number 6, 1996
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
Copyright ©
Sun Nov 8 03:27:05 2009 by
Michael Ley
(
ley@uni-trier.de
)