Formal Aspects of Computing, Volume 3

Volume 3, Number 1, 1991

• Olaf Owe, Ole-Johan Dahl: Generator Induction in Order Sorted Algebras. 2-20 BibTeX
• Manfred Broy: Towards a Formal Foundation of the Specification and Description Language SDL. 21-57 BibTeX
• Susan Stepney, Dave Whitely, David Cooper, Colin Grant: A Demonstrably Correct Compiler. 58-101 BibTeX , further work

Volume 3, Number 2, 1991

• Geoff Barrett: The Fixed Point Theory of Unbounded Non-Determinism. 110-128 BibTeX
• Elspeth Cusack: Refinement, Conformance and Inheritance. 129-141 BibTeX
• Jos C. M. Baeten, Jan A. Bergstra: Real Time Process Algebra. 142-188 BibTeX
• Beverly A. Sanders: Eliminating the Substitution Axiom from UNITY Logic. 189-205 BibTeX

Volume 3, Number 3, 1991

• Michael Hedberg: Normalising the Associative Law: An Experiment with Martin-Löf's Type Theory. 218-252 BibTeX
• Vangalur S. Alagar, Greetha Ramanathan: Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems. 253-283 BibTeX
• Huajun Qin, Philip Lewis: Factorisation of Finite State Machines under Strong and Observational Equivalences. 284-307 BibTeX

Volume 3, Number 4, 1991

• Peter Baumann: Towards a Semantics-Based Information Theory. 315-325 BibTeX
• Rolf Hennicker: Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations. 326-345 BibTeX
• Matthew Hennessy: A Proof Sustem for Communicating Processes with Value-Passing. 346-366 BibTeX