Probabilistic Characterization of Algebraic Protocol Specifications (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• Probabilistic Characterization of Algebraic Protocol Specifications (Contributo in atti di convegno) (literal)

Anno

• 1992-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1109/ICDCS.1992.235032 (literal)

Alternative label

• R. Sisto; L. Ciminiera; A. Valenzano (1992)
  Probabilistic Characterization of Algebraic Protocol Specifications
  in 12th IEEE Int. Conf. on Distributed Computing Systems (DCS 1992), Yokohama, 9-12 Giugno 1992
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• R. Sisto; L. Ciminiera; A. Valenzano (literal)

Pagina inizio

• 260 (literal)

Pagina fine

• 268 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=235032 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 9 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• R. Sisto, L. Ciminiera: Dip. di Automatica e Informatica, Politecnico di Torino, Torino, Italy A. Valenzano: Centro di Studi per l'Elaborazione Numerale dei Segnali, CENS-CNR, Torino, Italy (literal)

Titolo

• Probabilistic Characterization of Algebraic Protocol Specifications (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 0-8186-2865-0 (literal)

Abstract

• A generative model for extending algebraic protocol specifications with probabilities is presented. The approach associates a simple probabilistic characterization with each algebraic operator occurrence in a behavior expression. The result is a compact notation in which the assignment of probabilities is more straightforward than with transition-based models. It is shown that an equivalent state machine with probabilities attached to transitions can be constructed automatically from an algebraic specification with probabilistic characterizations attached to operators. Specifically, it is shown how a probabilistic state machine can be derived from a basic LOTOS expression enriched by a probabilistic characterization. As an application example, a stop-and-wait protocol is examined (literal)

Editore

• The Institute of Electrical and Electronics Engineers (IEEE) (Editore)

Prodotto di

• Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni (IEIIT) (Istituto)

Autore CNR

• ADRIANO VALENZANO (Persona)

Insieme di parole chiave

• Parole chiave di "Probabilistic Characterization of Algebraic Protocol Specifications" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni (IEIIT) (Istituto)

Autore CNR di

• ADRIANO VALENZANO (Persona)

Editore di

• The Institute of Electrical and Electronics Engineers (IEEE) (Editore)

Insieme di parole chiave di

• Parole chiave di "Probabilistic Characterization of Algebraic Protocol Specifications" (Insieme di parole chiave)