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

@article{f4f9ac91e4fa4770a58d82e96e2de2e5,
title = "An Algebraic Specification of a Daisy Chain Arbiter",
author = "Yuuji Sugiyama",
year = "1991",
language = "English",
journal = "Proc. of the 1991 Pacific Rim International Symposium on Fault Tolerant Systems",

}

TY - JOUR

T1 - An Algebraic Specification of a Daisy Chain Arbiter

AU - Sugiyama, Yuuji

PY - 1991

Y1 - 1991

M3 - Article

JO - Proc. of the 1991 Pacific Rim International Symposium on Fault Tolerant Systems

JF - Proc. of the 1991 Pacific Rim International Symposium on Fault Tolerant Systems

ER -