Rules for synthesizing correct communication protocols

Rules for synthesizing correct communication protocols

An approach to communication protocols synthesis is proposed which permits the development of general (FIFO and non-FIFO channels), N-party (N>=2) protocols with the following properties: completeness, deadlock freeness, livelock or tempo-blocking freeness, termination or cyclic behavior, livenes...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Computer communication review 1982-01, Vol.12 (1), p.35-51
1. Verfasser: Sidhu, Deepinder P.
Format: Magazinearticle
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:An approach to communication protocols synthesis is proposed which permits the development of general (FIFO and non-FIFO channels), N-party (N>=2) protocols with the following properties: completeness, deadlock freeness, livelock or tempo-blocking freeness, termination or cyclic behavior, liveness, boundedness and absence of non-executable interactions.
ISSN:0146-4833
DOI:10.1145/1040119.1040122