Affiliation: | 1. School of Informatics, University of Edinburgh, Edinburgh EH9 3JZ, Scotland;2. School of Computing, University of Leeds, Leeds LS2 9JT, England;3. Department of Mathematics and Computer Science, Eindhoven University of Technology, the Netherlands and CWI Amsterdam, the Netherlands |