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)
Concurrency in Synchronous Systems
Hamilton, Ontario, Canada
June 16-June 18
ISBN: 0-7695-2077-4
ASCII Text
x 
 
Dumitru Potop-Butucaru, Beno? Caillaud, Albert Benveniste, "Concurrency in Synchronous Systems," Application of Concurrency to System Design, International Conference on, pp. 67, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/CSD.2004.1309117,
author = {Dumitru Potop-Butucaru and Beno? Caillaud and Albert Benveniste},
title = {Concurrency in Synchronous Systems},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2077-4},
pages = {67},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309117},
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 - Concurrency in Synchronous Systems
SN - 0-7695-2077-4
SP
EP
A1 - Dumitru Potop-Butucaru,
A1 - Beno? Caillaud,
A1 - Albert Benveniste,
PY - 2004
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
Dumitru Potop-Butucaru, IRISA, France
Beno? Caillaud, IRISA, France
Albert Benveniste, IRISA, France
In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of correct-by-construction communication protocols for globally asynchronous, locally synchronous (GALS) systems. The independence between various computations can be exploited here to provide communication schemes that do not restrict concurrency while still guaranteeing correctness.
Citation:
Dumitru Potop-Butucaru, Beno? Caillaud, Albert Benveniste, "Concurrency in Synchronous Systems," acsd, pp.67, 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.