Scalable SD Erlang Reliability Model

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

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

[img]
Preview
Text
113625.pdf - Accepted Version

428kB

Abstract

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
Status:Published
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