Chechina, N., Huiqing, L., Trinder, P. and Thompson, S. (2014) Scalable SD Erlang Reliability Model. Technical Report. Glasgow University.
|
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