MRG home page
Inferring Quality of Service Properties for Grid Applications
Deductive Synthesis of Grid Workflows for e-Science
Mathematical Reasoning Group, School of Informatics, University of Edinburgh, Appleton Tower, Crichton Street, Edinburgh, EH8 9LE, Scotland
Tel: +44 (0)131 650 2708
Fax: +44 (0)131 650 6513
Please send corrections and suggestions for this page to
Unless explicitly stated otherwise all material on this web site is copyright © The University of Edinburgh.