TESTING PROTOCOL ROBUSTNESS THE CCS WAY.

Scott A. Smolka, Ariel J. Frank, Saumya K Debray

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

We present a procedure to decide if a finite-state communication protocol provides end-users with a robust communication medium. The underlying model is algebraic and is based on Milner's CCS and observation equivalence, the notion that two processes cannot be distinguished by an external observer. In particular, we test if the protocol's visible behavior is observationally equivalent to the behavior of an ideal communication medium. We develop asynchronous versions of the protocols to illustrate our technique.

Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
EditorsYechiam Yemini, Robert Strom, Shaula Yemini
PublisherNorth-Holland
Pages93-109
Number of pages17
ISBN (Print)0444876766
StatePublished - 1985
Externally publishedYes

Fingerprint

Network protocols
Testing
Communication

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Smolka, S. A., Frank, A. J., & Debray, S. K. (1985). TESTING PROTOCOL ROBUSTNESS THE CCS WAY. In Y. Yemini, R. Strom, & S. Yemini (Eds.), Unknown Host Publication Title (pp. 93-109). North-Holland.

TESTING PROTOCOL ROBUSTNESS THE CCS WAY. / Smolka, Scott A.; Frank, Ariel J.; Debray, Saumya K.

Unknown Host Publication Title. ed. / Yechiam Yemini; Robert Strom; Shaula Yemini. North-Holland, 1985. p. 93-109.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Smolka, SA, Frank, AJ & Debray, SK 1985, TESTING PROTOCOL ROBUSTNESS THE CCS WAY. in Y Yemini, R Strom & S Yemini (eds), Unknown Host Publication Title. North-Holland, pp. 93-109.
Smolka SA, Frank AJ, Debray SK. TESTING PROTOCOL ROBUSTNESS THE CCS WAY. In Yemini Y, Strom R, Yemini S, editors, Unknown Host Publication Title. North-Holland. 1985. p. 93-109
Smolka, Scott A. ; Frank, Ariel J. ; Debray, Saumya K. / TESTING PROTOCOL ROBUSTNESS THE CCS WAY. Unknown Host Publication Title. editor / Yechiam Yemini ; Robert Strom ; Shaula Yemini. North-Holland, 1985. pp. 93-109
@inproceedings{12fa872aebaa4ff7b486ed74646b2e5d,
title = "TESTING PROTOCOL ROBUSTNESS THE CCS WAY.",
abstract = "We present a procedure to decide if a finite-state communication protocol provides end-users with a robust communication medium. The underlying model is algebraic and is based on Milner's CCS and observation equivalence, the notion that two processes cannot be distinguished by an external observer. In particular, we test if the protocol's visible behavior is observationally equivalent to the behavior of an ideal communication medium. We develop asynchronous versions of the protocols to illustrate our technique.",
author = "Smolka, {Scott A.} and Frank, {Ariel J.} and Debray, {Saumya K}",
year = "1985",
language = "English (US)",
isbn = "0444876766",
pages = "93--109",
editor = "Yechiam Yemini and Robert Strom and Shaula Yemini",
booktitle = "Unknown Host Publication Title",
publisher = "North-Holland",

}

TY - GEN

T1 - TESTING PROTOCOL ROBUSTNESS THE CCS WAY.

AU - Smolka, Scott A.

AU - Frank, Ariel J.

AU - Debray, Saumya K

PY - 1985

Y1 - 1985

N2 - We present a procedure to decide if a finite-state communication protocol provides end-users with a robust communication medium. The underlying model is algebraic and is based on Milner's CCS and observation equivalence, the notion that two processes cannot be distinguished by an external observer. In particular, we test if the protocol's visible behavior is observationally equivalent to the behavior of an ideal communication medium. We develop asynchronous versions of the protocols to illustrate our technique.

AB - We present a procedure to decide if a finite-state communication protocol provides end-users with a robust communication medium. The underlying model is algebraic and is based on Milner's CCS and observation equivalence, the notion that two processes cannot be distinguished by an external observer. In particular, we test if the protocol's visible behavior is observationally equivalent to the behavior of an ideal communication medium. We develop asynchronous versions of the protocols to illustrate our technique.

UR - http://www.scopus.com/inward/record.url?scp=0022199033&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0022199033&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0022199033

SN - 0444876766

SP - 93

EP - 109

BT - Unknown Host Publication Title

A2 - Yemini, Yechiam

A2 - Strom, Robert

A2 - Yemini, Shaula

PB - North-Holland

ER -