loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC'00)
On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism
Eilat, Israel
April 02-April 06
ISBN: 0-7695-0586-4
Delay-Insensitive specifications model communicating processes that are embedded in a medium that introduces arbitrary and varying delays on the communication channels. In this paper we study transformations of such specifications. The transformations we study are directed. They are either contracting or expanding. The former are useful when trying to improve specifications, the latter when trying to find implementations.The theory we develop is inspired by transformations based on handshake protocols. We show how an implementation of such a protocol can be derived. We also show how the transformations can help when analyzing specifications containing unavoidable non-determinism, which is closely related to unavoidable meta-stability.
Index Terms:
{Communicating Processes}, Delay-Insensitivity, Formal Methods, Handshake Protocol, {Computer Aided Design}, Meta-stability
Citation:
Willem C. Mallon, "On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism," async, pp.12, Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.