Berry, Gérard; Cosserat, Laurent 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 Cited in 11 Documents MSC: 68N25 Theory of operating systems 68Q55 Semantics in the theory of computing Keywords:concurrent programming language Citations:Zbl 0562.00011 Software:LCF; Automath; Esterel PDF BibTeX XML OpenURL