External Links

    Journal: Formal Asp. Comput.

    Volume 3, Issue 3

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