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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11576/1891843
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact