Volume 3,
Number 1,
1991
Volume 3, Number 2, 1991
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
Copyright © Tue Feb 9 19:43:22 2010
by Michael Ley (ley@uni-trier.de)