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
Funder and Project Information
Funder and Project Information