1. Department of Mathematics University of Kaiserslautern Kaiserslautern Germany
2. School of Computer Science University of St Andrews Fife UK
3. School of Mathematical and Computer Sciences Heriot‐Watt University Edinburgh UK
4. School of Computing Science University of Glasgow Glasgow UK