loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on Application of Concurrency to System Design (ACSD'04)
Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments
Hamilton, Ontario, Canada
June 16-June 18
ISBN: 0-7695-2077-4
ASCII Text
x 
 
Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Furey, "Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments," Application of Concurrency to System Design, International Conference on, pp. 89, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/CSD.2004.1309119,
author = {Hemangee K. Kapoor and Mark B. Josephs and Dennis P. Furey},
title = {Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2077-4},
pages = {89},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309119},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments
SN - 0-7695-2077-4
SP
EP
A1 - Hemangee K. Kapoor,
A1 - Mark B. Josephs,
A1 - Dennis P. Furey,
PY - 2004
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
Hemangee K. Kapoor, London South Bank University, UK
Mark B. Josephs, London South Bank University, UK
Dennis P. Furey, London South Bank University, UK
A delay-insensitive module communicates with its environment through wires of unbounded delay. The environment may only need to interact with the module in a restricted way. It is worthwhile taking this into account when synthesising the module because it may allow for a cheaper, faster implementation. Formally, we introduce a new operator to DI-Algebra which weakens the specification of a module by taking its environment into account.
Moreover, the concept of restriction has been built into our translation tool, di2pn (to help in synthesis) and our analysis tool, diana (to perform equivalence and refinement checking).
Citation:
Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Furey, "Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments," acsd, pp.89, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.