We illustrate an application of the integrated approach for modeling and analyzing concurrent systems proposed in [BDG1995]. The case study concerns the alternating bit protocol. The protocol is specified by means of a set of terms of the stochastic process algebra EMPA, and then studied from the functional and the performance point of view after constructing the semantic models associated with the terms.
A Stochastic Process Algebra Model for the Analysis of the Alternating Bit Protocol
Bernardo, Marco;
1996
Abstract
We illustrate an application of the integrated approach for modeling and analyzing concurrent systems proposed in [BDG1995]. The case study concerns the alternating bit protocol. The protocol is specified by means of a set of terms of the stochastic process algebra EMPA, and then studied from the functional and the performance point of view after constructing the semantic models associated with the terms.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
