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
  

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
  

Last update Wed May 22 17:35:30 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page