Abstract
In this paper, we study preemption primitives in reactive languages such as Esterel and Signal (and its extension Signal G Ti) in a common framework. This enables us to compare behavioural/structural expressive powers of different languages and gives an insight into the complementarity of different control and data-flow abstractions in the reactive languages. Such a study also provides a basis on which a basic set of preemption primitives can be incorporated in reactive languages from the point of view of expressive completeness.
Work supported by IFCPAR (Indo-French Center for the Promotion of Advanced Research), New Delhi.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
A. Benveniste, P. Le Guernic, C. Jacquemot. Synchronous programming with events and relations: the Signal language and its semantics. Science of Computer Programming, 16, pp. 103–149, 1991.
G. Berry, S. Ramesh, and R.K. Shyamasundar, Communicating Reactive Processes, 20th ACM POPL, South Carolina, Jan 1993, pp. 85–99.
G. Berry, Preemption in Concurrent Systems, Proc. FSTTCS 93, LNCS, 761, pp.72-93, Springer-Verlag, Berlin.
R.L. Grossman et al., Hybrid Systems, LNCS, 736, Springer-Verlag, 1993.
N. Halbwachs. Synchronous programming of reactive systems. Kluwer, 1993.
C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall Int., 1985.
R. Milner, Communication and Concurrency, Prentice-Hall Int., 1989.
P.K. Pandya, Y.S. Ramakrishna, and R.K. Shyamasundar, A Compositional Semantics of Esterel in Durational Calculus, 2nd AMAST Workshop on Real-Time Systems: Models and Proofs, Bordeaux, France, June 1995.
S. Pinchinat, E. Rutten, R.K. Shyamasundar. Preemption Primitives in Reactive Languages. INRIA Research Report, 1995. (in preparation)
E. Rutten, P. Le Guernic. Sequencing data flow tasks in SIGNAL. Proc. ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, Orlando, Florida, June 21, 1994.
R.K. Shyamasundar, Specification of Hybrid Systems in CRP, Proc. of AMAST 93, Workshops in Computing Series from Springer-Verlag, Edited by M. Nivat, C. Rattray, T. Rus and G. Scollo, pp. 227–238, December 1993.
R.K. Shyamasundar, S. Ramesh, Languages for Reactive Specifications: Synchrony vs. Asynchrony, Proc. FT-RT-FTS 94, LNCS, 863, pp. 621–640, Springer-Verlag, Berlin.
R. de Simone, Higher-Level Synchronizing Devices in MEIJE-SCCS, Theoretical Computer Science, 37, pp. 245–267, 1985.
J.E. Vuillemin, On Circuits and Numbers, IEEE Transactions on Computers, 43, August 1994, pp. 868–879.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pinchinat, S., Rutten, É., Shyamasundar, R.K. (1995). Preemption primitives in reactive languages. In: Kanchanasut, K., Lévy, JJ. (eds) Algorithms, Concurrency and Knowledge. ACSC 1995. Lecture Notes in Computer Science, vol 1023. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60688-2_39
Download citation
DOI: https://doi.org/10.1007/3-540-60688-2_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60688-8
Online ISBN: 978-3-540-49262-7
eBook Packages: Springer Book Archive