@article{99ea33422b1f4bc8ac5f125b7ea486fe,
title = "Modelling and verification of delay-insensitive circuits using CCS and the Concurrency Workbench",
keywords = "Asynchronous logic, Formal methods, Formal verification, Specification languages",
author = "Kapoor, {Hemangee K.} and Josephs, {Mark B.}",
year = "2004",
month = mar,
day = "31",
doi = "10.1016/j.ipl.2003.12.007",
language = "English",
volume = "89",
pages = "293--296",
journal = "Information Processing Letters",
issn = "0020-0190",
publisher = "Elsevier",
number = "6",
}