@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",
}