zbMATH — the first resource for mathematics

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
Automath; LCF; Esterel