Tsinghua University Press Ltd. - A novel formal analysis method of network survivability based on stochastic process algebra

Author(s): Guosheng Zhao ; Huiqiang Wang ; Jian Wang
Publisher: Tsinghua University Press Ltd.
Publication Date: 1 July 2007
Volume: 12
Page(s): 175 - 179
ISSN (Electronic): 1007-0214
DOI: 10.1016/S1007-0214(07)70105-0

Stochastic process algebras have been proposed as compositional specification formalisms for performance models. A formal analysis method of survivable network was proposed based on stochastic... View More