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 journalArticlepeer-review

    2 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)395-408
    Number of pages14
    JournalFormal Aspects of Computing
    Volume9
    Issue number4
    DOIs
    Publication statusPublished (VoR) - 1997

    Keywords

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

    Fingerprint

    Dive into the research topics of 'The Use of SI-Algebra in the Design of Sequencer Circuits'. Together they form a unique fingerprint.

    Cite this