The ESTEREL synchronous programming language and its mathematical semantics. (English) Zbl 0599.68023

Concurrency, Semin. Pittsburgh/Pa. 1984, Lect. Notes Comput. Sci. 197, 389-448 (1985).
[For the entire collection see Zbl 0562.00011.]
The authors present a synchronous and deterministic programming language (with operational and axiomatic models of its semantics) for specification of concurrent systems - ESTEREL.
Reviewer: W.Kwasowiac


68N25 Theory of operating systems
68Q55 Semantics in the theory of computing


Zbl 0562.00011


Automath; LCF; Esterel