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

Berry, Gérard; Cosserat, Laurent

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

MSC:

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

Keywords:

concurrent programming language

Software:

Automath; LCF; Esterel