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.
Titolo: | A Stochastic Process Algebra Model for the Analysis of the Alternating Bit Protocol |
Autori: | |
Data di pubblicazione: | 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. |
Handle: | http://hdl.handle.net/11576/1891843 |
ISBN: | 9754291039 |
Appare nelle tipologie: | 4.1 Contributo Atti di Convegno (Proceeding) |
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.