|
Published Articles >> Table of Contents >> Abstract
Fourth International Conference on Application of Concurrency to System Design (ACSD'04)
p. 67
Concurrency in Synchronous Systems
Dumitru Potop-Butucaru, IRISA, France
Benoît Caillaud, IRISA, France
Albert Benveniste, IRISA, France
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309117
Send link to a friend
| Abstract |
|
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.
|
 Additional Information
|
Citation:
Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste,
"Concurrency in Synchronous Systems,"
acsd,
p. 67,
Fourth International Conference on Application of Concurrency to System Design (ACSD'04),
2004
|
|
