Concurrency in synchronous systems

Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004

Volumn , Issue , 2004, Pages 67-76

  Potop Butucaru, Dumitru ^a   Caillaud, Benoît ^a   Benveniste, Albert ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS PARADIGM; ETHERNET; GLOBALLY ASYNCHRONOUS, LOCALLY SYNCHRONOUS (GALS) SYSTEMS; SYSTEMS-ON-A-CHIP (SOC);

BOOLEAN ALGEBRA; LOGIC CIRCUITS; MULTIPROCESSING PROGRAMS; NETWORK PROTOCOLS; PARALLEL PROCESSING SYSTEMS; PROBLEM SOLVING; SIGNAL PROCESSING; SYNCHRONIZATION;

CONCURRENCY CONTROL;

EID: 10444274185     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.2004.1309117     Document Type: Conference Paper

References (11)

1. A. Benveniste, B. Caillaud, and P. Le Guernic. Compositionality in dataflow synchronous languages: Specification and distributed code generation. Information and Computation, (163):125-171, 2000.
2. A. Benveniste, L. Carloni, P. Caspi, and A. Sangiovanni-Vincentelli. Heterogenous reactive systems modeling and correct-by-construction deployment. In Proceedings of EMSOFT'03, Philadelphia, Pennsylvania, USA, 2003.
3. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The Synchronous Languages Twelve Years Later. Proceedings of the IEEE, 2003.
4. C. Carloni, K. McMillan, and A. Sangiovanni-Vincentelli. The theory of latency-insensitive design. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 20(9): 1059-1076, 9 2001.
5. J. Cortadella, M. Kishinevsky, A. Kondratiev, L. Lavagno, and A. Yakovlev. Logic Synthesis of Asynchronous Controllers and Interfaces. Springer, 2002.
6. V. Diekert and G. Rozenberg, editors. The Book of Traces. World Scientific, 1995.
7. N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Publishers, 1993.
8. H. Kopetz. Real-Time Systems, Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, 1997.
9. N. Lynch and E. Stark. A proof of the Kahn principle for input/output automata. Information and Computation, 82(1):81-92, 1989.
10. D. Potop-Butucaru, B. Caillaud, and A. Benveniste. Concurrency in synchronous systems. RR 5110, INRIA, 2004. http://www.inria.fr/rrrt/rr-5110.html.
11. K. Yun and D. Dill. Automatic synthesis of extended burstmode circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 18(2): 101-132, feb. 1999.