×

The SL synchronous language, revisited. (English) Zbl 1106.68016

Summary: We revisit the SL synchronous programming model introduced by F. Boussinot and R. De Simone [IEEE Trans. Softw. Eng. 22, 256–266 (1996)]. We discuss an alternative design of the model including thread spawning and recursive definitions and we explore some basic properties of the revised model: determinism, reactivity, CPS translation to a tail recursive form, computational expressivity, and a compositional notion of program equivalence.

MSC:

68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Software:

ULM; Esterel
PDFBibTeX XMLCite
Full Text: DOI

References:

[2] Amadio, R.; Castellani, I.; Sangiorgi, D., On bisimulations for the asynchronous \(π\)-calculus, Theor. Comput. Sci., 195, 291-324 (1998) · Zbl 0915.68009
[3] Amadio, R.; Dal-Zilio, S., Resource control for synchronous cooperative threads, (Proc. CONCUR. Proc. CONCUR, LNCS, vol. 3170 (2004), Springer), 68-82 · Zbl 1097.68535
[5] Berry, G.; Gonthier, G., The Esterel synchronous programming language, Sci. Comput. Program., 19, 2, 87-152 (1992) · Zbl 0772.68013
[6] Baader, F.; Nipkow, T., Term Rewriting and All That (1998), Cambridge University Press
[7] Boudol, G., ULM, a core programming model for global computing, (Proc. of ESOP. Proc. of ESOP, LNCS, vol. 2986 (2004), Springer), 234-248 · Zbl 1126.68329
[8] Boussinot, F., Reactive C: an extension of C to program reactive systems, Software Practice Experience, 21, 4, 401-428 (1991)
[9] Boussinot, F.; De Simone, R., The SL synchronous language, IEEE Trans. Software Eng., 22, 4, 256-266 (1996)
[10] Fournet, C.; Gonthier, G., A hierarchy of equivalences for asynchronous calculi (extended abstract), (Proc. ICALP. Proc. ICALP, LNCS, vol. 1443 (1998), Springer), 844-855 · Zbl 0909.03030
[11] Hennessy, M.; Rathke, J., Bisimulations for a calculus of broadcasting systems, Theor. Comput. Sci., 200, 1-2, 225-260 (1998) · Zbl 0915.68065
[12] Honda, K.; Yoshida, N., On reduction-based process semantics, Theor. Comput. Sci., 151, 2, 437-486 (1995) · Zbl 0871.68122
[13] Kahn, G., The semantics of a simple language for parallel programming, (Proc. IFIP Congress (1974), North-Holland), 471-475
[16] Milner, R., Communication and Concurrency (1989), Prentice-Hall · Zbl 0683.68008
[17] Milner, R.; Sangiorgi, D., Barbed bisimulation, (Proc. ICALP. Proc. ICALP, LNCS, vol. 623 (1992), Springer), 685-695 · Zbl 1425.68298
[19] Prasad, K. V.S., A calculus of broadcasting systems, Sci. Comput. Program., 25, 2-3, 285-327 (1995)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.