The Use of SI-Algebra in the Design of Sequencer Circuits

Mark B. Josephs; Andrew M. Bailey

doi:10.1007/BF01211298

The Use of SI-Algebra in the Design of Sequencer Circuits

Mark B. Josephs^*
, Andrew M. Bailey

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

Original language	English
Pages (from-to)	395-408
Number of pages	14
Journal	Formal Aspects of Computing
Volume	9
Issue number	4
DOIs	https://doi.org/10.1007/BF01211298
Publication status	Published (VoR) - 1997

Keywords

Asynchronous circuits
Formal methods
Four-phase handshake
Process algebra
Speed-independent

Access to Document

10.1007/BF01211298

Cite this

@article{0328ec6af05b499db3ad723edbb0d934,

title = "The Use of SI-Algebra in the Design of Sequencer Circuits",

keywords = "Asynchronous circuits, Formal methods, Four-phase handshake, Process algebra, Speed-independent",

author = "Josephs, \{Mark B.\} and Bailey, \{Andrew M.\}",

year = "1997",

doi = "10.1007/BF01211298",

language = "English",

volume = "9",

pages = "395--408",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery (ACM)",

number = "4",

}

TY - JOUR

T1 - The Use of SI-Algebra in the Design of Sequencer Circuits

AU - Josephs, Mark B.

AU - Bailey, Andrew M.

PY - 1997

Y1 - 1997

KW - Asynchronous circuits

KW - Formal methods

KW - Four-phase handshake

KW - Process algebra

KW - Speed-independent

UR - https://www.scopus.com/pages/publications/2542561229

UR - https://www.scopus.com/pages/publications/2542561229#tab=citedBy

U2 - 10.1007/BF01211298

DO - 10.1007/BF01211298

M3 - Article

AN - SCOPUS:2542561229

SN - 0934-5043

VL - 9

SP - 395

EP - 408

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 4

ER -

The Use of SI-Algebra in the Design of Sequencer Circuits

Keywords

Access to Document

Other files and links

Fingerprint

Cite this