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.
- Vangalur S. Alagar, Greetha Ramanathan:
Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems.
- Huajun Qin, Philip Lewis:
Factorisation of Finite State Machines under Strong and Observational Equivalences.
Volume 3, Number 4, 1991
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
- Peter Baumann:
Towards a Semantics-Based Information Theory.
- Rolf Hennicker:
Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations.
- Matthew Hennessy:
A Proof Sustem for Communicating Processes with Value-Passing.