Evaluating quality of service for service level agreements Allan Clark and Stephen Gilmore Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland

Source URL: www.dcs.ed.ac.uk

• Business
• Economy
• Queueing theory
• Management
• Graph theory
• Markov chain
• Service level
• Service-level agreement
• Airbag
• Statistical hypothesis testing
• Sensitivity analysis
• PEPA

Y in Practical Programs∗ Extended Abstract Bruce McAdam Laboratory for Foundations of Computer Science, The University of Edinburgh,

Source URL: blog.klipse.tech

Service-Level Agreements for Service-Oriented Computing Allan Clark, Stephen Gilmore and Mirco Tribastone Laboratory for Foundations of Computer Science The University of Edinburgh, Scotland

Source URL: groups.inf.ed.ac.uk

• Computer networking
• Data transmission
• Computing
• Information and communications technology
• Graph theory
• Markov chain
• Idle
• Upload
• Download
• Availability

Bio-PEPA: a framework for the modelling and analysis of biological systems Federica Ciocchetta a,∗ and Jane Hillston a,b a Laboratory for Foundations of Computer Science, The University of Edinburgh,

Source URL: homepages.inf.ed.ac.uk

Rigorous Graphical Modelling of Movement in Collective Adaptive Systems N. Zo´ n(B) , S. Gilmore, and J. Hillston Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Edinburgh

Source URL: blog.inf.ed.ac.uk

GLOBAN Stochastic Modelling Exercise Stephen Gilmore Laboratory for Foundations of Computer Science The University of Edinburgh

Source URL: www2.imm.dtu.dk

Coalgebraic Update Lenses Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom; 2

Source URL: danelahman.github.io

Update Monads: Cointerpreting Directed Containers∗ Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh

Source URL: danelahman.github.io

Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types for

Source URL: danelahman.github.io

Taking Updates Seriously∗ Danel Ahman Laboratory for Foundations of Computer Science, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom Tarmo Uustalu

Source URL: danelahman.github.io