More Web Proxy on the site http://driver.im/

Article

Free access

Communicating reactive processes

Authors:

R. K. ShyamasundarAuthors Info & Claims

POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Pages 85 - 98

https://doi.org/10.1145/158511.158526

Published: 01 March 1993 Publication History

Abstract

We present a new programming paradigm called Communicating Reactive Processes or CRP that unifies the capabilities of asynchronous and synchronous concurrent programming languages. Asynchronous languages such as CSP, OCCAM, or ADA are well-suited for distributed algorithms; their processes are loosely coupled and communication takes time. The ESTEREL synchronous language is dedicated to reactive systems; its processes are tightly coupled and deterministic, communication being realized by instantaneous broadcasting. Complex applications such as process of robot control require to couple both forms of concurrency, which is the object of CRP. A CRP program consists of independent locally reactive ESTEREL nodes that communicate with each other by CSP rendezvous. CRP faithfully extends both ESTEREL and CSP and adds new possibilities such as precise local watchdogs on rendezvous. We present the design of CRP, its semantics, a translation into classical process calculi for program verification, and application example, and implementation issues.

References

[1]

The Programming Language ADA Reference Manual. ANSI / MIL-STD-1815A, also Lecture Notes in Computer Science 155, Springer Verlag, }.983.

[2]

G. Berry. Real-time programming: General purpose or special-purpose languages. In G. Ritter, editor, Information Processing 89, pages 11-17. Elsevier Science Publishers B.V. (North Holland), 1989.

[3]

G. Berry. Esterel on hardware. Philosophical Transaction Royal Society of London A, 339:87- 104, 1992.

Digital Library

[4]

G. Berry. A hardware implementation of pure Esterel. Sadhana, Academy Proceedings in Engineering Sciences, Indian Academy of Sciences, 17(1):95-130, 1992.

[5]

G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, ~emanties, implementation. Rapport de Recherche 842, INRIA, 1988. To appear in Science of Computer Programming.

Digital Library

[6]

G. Boudol. Notes on algebraic calculi of processes. In K. Apt, editor, Logic and Models of Concurrent Systems. NATO ASI Series F13, 1985.

Digital Library

[7]

G. Boudol, V. Roy, R. de Simone, and D. Vergamini. Process calculi, from theory to practice" Verification tools, in Automatic Verification Methods for Finite State Systems, LNCS ~07, pages 1-10. Springer-Verlag, 1990.

[8]

R. de Simone. Higher-level synchronising devices in Meije-SCCS. Theoretical Computer Science, 37:347-360, 1985.

[9]

B. Espiau and E. Coste-Mani~re. A synchronous approach for control sequencing in robotics applications. In Proc. IEEE International Workshop on Intelligent Motion, 1stambul, pages 503-508, 1990.

[10]

P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with Signal. Another Look at Real Time Programming, Proceedings of the IEEE, Special issue, Sept. 1991.

[11]

N. Halbwachs, P. Caspi, and D. Pilaud. The synchronous dataflow programming language Lustre. Another Look at Real Time Programming, Proceedings of the IEEE, Special Issue, Sept. 1991.

[12]

D. Harel. Statecharts: a visual approach to complex systems. Science of Computer Programming, 8:231-274, 1987.

Digital Library

[13]

C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.

Digital Library

[14]

G. Jones and M. Goldsmith. Programming in Oc. cam 2. C.A.R. Hoare Series in Computer Science. Prentice Hall International.

Digital Library

[15]

J-P. Paris. Execution de t~ches asynchrones depuis Esterel. Th~se d'informatique, Universit~ de Nice, 1992.

[16]

V. Roy and R. de Simone. Auto and Autograph. In R. Kurshan, editor, proceedings of Workshop on Computer Aided Verification, New-Brunswick, June 1990.

Cited By

Sant'Anna FSantos RRodriguez NMandel L(2021)Symmetric distributed applicationsProceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems10.1145/3486605.3486786(41-50)Online publication date: 18-Oct-2021
https://dl.acm.org/doi/10.1145/3486605.3486786
Lang CStilkerich I(2020)Design and Implementation of an Escape Analysis in the Context of Safety-Critical Embedded SystemsACM Transactions on Embedded Computing Systems10.1145/337213319:1(1-20)Online publication date: 6-Feb-2020
https://dl.acm.org/doi/10.1145/3372133
Dubrulle PKosmatov NGaston CLapitre A(2020)PolyGraph: a data flow model with frequency arithmeticInternational Journal on Software Tools for Technology Transfer10.1007/s10009-020-00586-9Online publication date: 2-Sep-2020
https://doi.org/10.1007/s10009-020-00586-9
Show More Cited By

Index Terms

Communicating reactive processes

Recommendations

Communicating sequential processes for distributed constraint satisfaction

CSPCONS is a programming language that supports program execution over multiple Prolog processes with constraints. The language is an extended version of Csp-ii, a version of Prolog that supports channel-based communicating processes and TCP/IP ...
Synchronization of communicating processes

Formalization of a well-defined synchronization mechanism can be used to prove that concurrently running processes of a system communicate correctly. This is demonstrated for a system consisting of many sending processes which deposit messages in a ...
Comments on “Communicating Sequential Processes”

In his recent paper, “Communicating Sequential Processes” (Comm. ACM 21, 8 (Aug. 1978), 666-677), C.A.R. Hoare outlines a programming language notation for interprocess communication in which processes are synchronized by the messages they exchange. The ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

March 1993

510 pages

ISBN:0897915607

DOI:10.1145/158511

Chairmen:
Mary Van Deusen
IBM Watson Research Center
,
Bernard Lang
INRIA Rocquencourt

Copyright © 1993 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1993

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

POPL93

Sponsor:

POPL93: 20th ACM Symposium on Principles of Programming Languages

South Carolina, Charleston, USA

Acceptance Rates

POPL '93 Paper Acceptance Rate 39 of 199 submissions, 20%;

Overall Acceptance Rate 824 of 4,130 submissions, 20%

Upcoming Conference

POPL '25

Sponsor:
sigplan

The 52nd Annual ACM SIGPLAN Symposium on Principles of Programming Languages

January 19 - 25, 2025

Denver , CO , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

96
Total Citations
View Citations
655
Total Downloads

Downloads (Last 12 months)63
Downloads (Last 6 weeks)8

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Sant'Anna FSantos RRodriguez NMandel L(2021)Symmetric distributed applicationsProceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems10.1145/3486605.3486786(41-50)Online publication date: 18-Oct-2021
https://dl.acm.org/doi/10.1145/3486605.3486786
Lang CStilkerich I(2020)Design and Implementation of an Escape Analysis in the Context of Safety-Critical Embedded SystemsACM Transactions on Embedded Computing Systems10.1145/337213319:1(1-20)Online publication date: 6-Feb-2020
https://dl.acm.org/doi/10.1145/3372133
Dubrulle PKosmatov NGaston CLapitre A(2020)PolyGraph: a data flow model with frequency arithmeticInternational Journal on Software Tools for Technology Transfer10.1007/s10009-020-00586-9Online publication date: 2-Sep-2020
https://doi.org/10.1007/s10009-020-00586-9
Sun YWang LWang CWang Y(2017)Exploiting Stable Data Dependency in Stream Processing Acceleration on FPGAsACM Transactions on Embedded Computing Systems10.1145/309295016:4(1-26)Online publication date: 13-Jul-2017
https://dl.acm.org/doi/10.1145/3092950
Zheng XJulien CChen HPodorozhny RCassez F(2017)Real-Time Simulation Support for Runtime Verification of Cyber-Physical SystemsACM Transactions on Embedded Computing Systems10.1145/306338216:4(1-24)Online publication date: 11-May-2017
https://dl.acm.org/doi/10.1145/3063382
Esposito SViolante MSozzi MTerrone MTraversone M(2017)A Novel Method for Online Detection of Faults Affecting Execution-Time in Multicore-Based SystemsACM Transactions on Embedded Computing Systems10.1145/306331316:4(1-19)Online publication date: 11-May-2017
https://dl.acm.org/doi/10.1145/3063313
Ko YJeyapaul RKim YLee KShrivastava A(2017)Protecting Caches from Soft ErrorsACM Transactions on Embedded Computing Systems10.1145/306318016:4(1-28)Online publication date: 11-May-2017
https://dl.acm.org/doi/10.1145/3063180
Ciszewski MIwanicki K(2017)Efficient Automated Code Partitioning for Microcontrollers with Switchable Memory BanksACM Transactions on Embedded Computing Systems10.1145/305551116:4(1-26)Online publication date: 26-May-2017
https://dl.acm.org/doi/10.1145/3055511
Benerecetti MFaella M(2017)Automatic Synthesis of Switching Controllers for Linear Hybrid SystemsACM Transactions on Embedded Computing Systems10.1145/304750016:4(1-27)Online publication date: 11-May-2017
https://dl.acm.org/doi/10.1145/3047500
Tiloca MNikitin KRaza S(2017)AxiomACM Transactions on Embedded Computing Systems10.1145/304741316:3(1-29)Online publication date: 28-Apr-2017
https://dl.acm.org/doi/10.1145/3047413
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents