University Homepage
School Homepage
School Contacts
School Search
Informatics Report Series
Author
Donald Sannella
Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Report
Date
Title
EDI-INF-RR-1188
2007
Mobile resource guarantees
EDI-INF-RR-0760
2005
Mobile Resource Guarantees for Smart Devices
EDI-INF-RR-0563
2007
Foundations of Algebraic Specifications and Formal Software Development
EDI-INF-RR-0562
Sep 2002
CASL: The common algebraic specification language
EDI-INF-RR-0561
Jul 2002
Architectural specifications in CASL
EDI-INF-RR-0559
Oct 2002
Prelogical relations
Home
:
Publications
:
Author
Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh