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 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 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 - Dec 1 1985
Externally publishedYes

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'TESTING PROTOCOL ROBUSTNESS THE CCS WAY.'. Together they form a unique fingerprint.

Cite this