@article{2b79f4ef039a4bcb90f9c5c281cf8874,
title = "Verification and implementation of delay-insensitive processes in restrictive environments",
keywords = "Asynchronous circuits, Closed systems, Delay-insensitivity, Process algebra, Restrictive environments, Verification",
author = "Kapoor, {Hemangee K.} and Josephs, {Mark B.} and Furey, {Dennis P.}",
year = "2006",
language = "English",
volume = "70",
pages = "21--48",
journal = "Fundamenta Informaticae",
issn = "0169-2968",
publisher = "IOS Press",
number = "1-2",
}