An Algebraic Specification of a Daisy Chain Arbiter

Yuuji Sugiyama

Research output: Contribution to journal › Article

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

Cite this

An Algebraic Specification of a Daisy Chain Arbiter. / Sugiyama, Yuuji.

In: Proc. of the 1991 Pacific Rim International Symposium on Fault Tolerant Systems, 1991.

Research output: Contribution to journal › Article

Sugiyama, Y 1991, 'An Algebraic Specification of a Daisy Chain Arbiter', Proc. of the 1991 Pacific Rim International Symposium on Fault Tolerant Systems.
Sugiyama Y. An Algebraic Specification of a Daisy Chain Arbiter. Proc. of the 1991 Pacific Rim International Symposium on Fault Tolerant Systems. 1991.
Sugiyama, Yuuji. / An Algebraic Specification of a Daisy Chain Arbiter. In: Proc. of the 1991 Pacific Rim International Symposium on Fault Tolerant Systems. 1991.
@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 -