An Algebraic Specification of a Daisy Chain Arbiter

Yuuji Sugiyama

Research output: Contribution to journalArticle

Original languageEnglish
JournalProc. of the 1991 Pacific Rim International Symposium on Fault Tolerant Systems
Publication statusPublished - 1991

Cite this