DocumentCode
3466780
Title
Protocol windows
Author
Nounou, Nihal ; Yemini, Yechiam
Author_Institution
Center for Telecommun. Res., Columbia Univ., New York, NY, USA
fYear
1988
fDate
28 Nov-1 Dec 1988
Firstpage
1657
Abstract
The authors describe algebraic transformations of protocols for computing useful windows. They show how these windows can be usefully applied to accomplish probabilistic verification, optimum tuning, and performance analysis protocols. A connection-establishment protocol is considered as an example
Keywords
algebra; probability; protocols; algebraic transformations; connection-establishment protocol; optimum tuning; performance analysis protocols; probabilistic verification; protocol windows; Algebra; Application software; Concurrent computing; Contracts; Explosives; Information systems; Joining processes; Performance analysis; Protocols; System recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
Global Telecommunications Conference, 1988, and Exhibition. 'Communications for the Information Age.' Conference Record, GLOBECOM '88., IEEE
Conference_Location
Hollywood, FL
Type
conf
DOI
10.1109/GLOCOM.1988.26102
Filename
26102
Link To Document