Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloA Protocol for Multirendezvous of LOTOS Processes
Anno di pubblicazione1991
Formato
  • Elettronico
  • Cartaceo
Autore/iR. Sisto; L. Ciminiera; A. Valenzano
Affiliazioni autoriR. Sisto, L. Ciminiera: Dip. di Automatica e Informatica, Politecnico di Torino, Torino, Italy A. Valenzano: Centro di Studi per l'Elaborazione Numerale dei Segnali, CNR, Torino, Italy
Autori CNR e affiliazioni
  • ADRIANO VALENZANO
Lingua/e
  • inglese
AbstractIt is noted that the implementation of the multiway rendezvous mechanism of the International Standards Organization (ISO) LOTOS specification language for protocols is very important in the development of tools for the execution of LOTOS. It involves problems such as global knowledge in a distributed environment and distributed agreement. The authors propose a novel algorithm which fully implements the multiway rendezvous of LOTOS within a distributed execution model based on a number of parallel processes. The processes are organized in a hierarchical topology and communicate with each other only by message transfers. The performance of the proposed algorithm is evaluated and is shown to be better than that achieved by other algorithms proposed in the literature. A formal specification of the algorithm in LOTOS is provided
Lingua abstractinglese
Altro abstract-
Lingua altro abstract-
Pagine da437
Pagine a447
Pagine totali11
RivistaI.E.E.E. transactions on computers (Print)
Attiva dal 1968
Editore: Institute of Electrical and Electronics Engineers] - [New York,
Paese di pubblicazione: Stati Uniti d'America
Lingua: inglese
ISSN: 0018-9340
Titolo chiave: I.E.E.E. transactions on computers (Print)
Titolo proprio: IEEE transactions on computers. (Print)
Titolo abbreviato: IEEE trans. comput. (Print)
Numero volume della rivista40
Fascicolo della rivista4
DOI10.1109/12.88463
Verificato da refereeSì: Internazionale
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:FQ580)
  • Scopus (Codice:2-s2.0-0026138728)
Parole chiaveformal specification, performance evaluation, protocols, standards
Link (URL, URI)http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=88463
Titolo parallelo-
Data di accettazione-
Note/Altre informazioni-
Strutture CNR
  • IEIIT — Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni
Moduli CNR-
Progetti Europei-
Allegati
  • A Protocol for Multirendezvous of LOTOS Processes

Dati associati a vecchie tipologie
I dati associati a vecchie tipologie non sono modificabili, derivano dal cambiamento della tipologia di prodotto e hanno solo valore storico.
Editore
  • The Institute of Electrical and Electronics Engineers (IEEE), Piscataway (Stati Uniti d'America)