Normalising the associative law: An experiment with Martin-Löf's type theory Michael Hedberg OriginalPaper Pages: 218 - 252
Functional specification and proof of correctness for time dependent behaviour of reactive systems Vangalur S. AlagarGeetha Ramanathan OriginalPaper Pages: 253 - 283
Factorisation of finite state machines under strong and observational equivalences Huajun QinPhilip Lewis OriginalPaper Pages: 284 - 307