TESTING PROTOCOL ROBUSTNESS THE CCS WAY.

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

TESTING PROTOCOL ROBUSTNESS THE CCS WAY.

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

Stony Brook University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

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 language	English
Title of host publication	Unknown Host Publication Title
Editors	Yechiam Yemini, Robert Strom, Shaula Yemini
Publisher	North Holland
Pages	93-109
Number of pages	17
ISBN (Print)	0444876766
State	Published - 1985
Externally published	Yes

Cite this

@inproceedings{b8ace80883f7491f8e2ae0555461765d,

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 = "אנגלית",

isbn = "0444876766",

publisher = "North Holland",

pages = "93--109",

editor = "Yechiam Yemini and Robert Strom and Shaula Yemini",

booktitle = "Unknown Host Publication Title",

}

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

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

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 -

TESTING PROTOCOL ROBUSTNESS THE CCS WAY.

Abstract

Other files and links

Fingerprint

Cite this