Author :
Nounou, Nihal ; Yemini, Yechiam
Author_Institution :
Center for Telecommun. Res., Columbia Univ., New York, NY, USA
fDate :
28 Nov-1 Dec 1988
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;
Conference_Titel :
Global Telecommunications Conference, 1988, and Exhibition. 'Communications for the Information Age.' Conference Record, GLOBECOM '88., IEEE
Conference_Location :
Hollywood, FL
DOI :
10.1109/GLOCOM.1988.26102
