Formal Aspects of Computing, Volume 3

Volume 3, Number 1, 1991

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

Volume 3, Number 2, 1991

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

Volume 3, Number 3, 1991

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

Volume 3, Number 4, 1991

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