Synchronization paradigm for protocol testing under multiparty configuration

Rong S. Lin, Maria C. Yuang

Research output: Contribution to journalArticle

Abstract

A novel synchronization paradigm unifies two synchronization techniques, self-synchroniable sequences and external synchronization operations, using the state expansion transformation. In the paradigm, the protocol specification is first transformed into a state expansion digraph with two pieces of datum augmented.

Original languageEnglish
Pages (from-to)125-135
Number of pages11
JournalComputers and Mathematics with Applications
Volume37
Issue number7
DOIs
StatePublished - 1 Jan 1999

Fingerprint Dive into the research topics of 'Synchronization paradigm for protocol testing under multiparty configuration'. Together they form a unique fingerprint.

Cite this