Scalable SD Erlang Reliability Model

Chechina, N., Huiqing, L., Trinder, P. and Thompson, S. (2014) Scalable SD Erlang Reliability Model. Technical Report. Glasgow University.

113625.pdf - Accepted Version



This technical report presents the work we have conducted to support SD Erlang reliability and to formally specify the semantics of s groups. We have considered the following aspects of SD Erlang reliability: node recovery after failures and s group name uniqueness.

Item Type:Research Reports or Papers (Technical Report)
Additional Information:Technical Report TR-2014-004
Glasgow Author(s) Enlighten ID:Chechina, Dr Natalia and Trinder, Professor Phil
Authors: Chechina, N., Huiqing, L., Trinder, P., and Thompson, S.
Subjects:Q Science > QA Mathematics > QA76 Computer software
College/School:College of Science and Engineering > School of Computing Science
Publisher:Glasgow University
Copyright Holders:Copyright © 2014 The Authors
Publisher Policy:Reproduced with permission of Authors

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
635431RELEASEPhil TrinderEuropean Commission (EC)287510COM - COMPUTING SCIENCE