On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems-A Sequentially Constructive Circuit Semantics for Esterel

A classic challenge in designing reactive systems is how to reconcile concurrency with determinacy. Synchronous languages, such as Esterel, SyncCharts or SCADE, resolve this by providing a semantics that does not depend on run-time scheduling decisions. Esterel's circuit semantics is grounded i...

Celý popis

Podrobná bibliografia

Vydané v:	2018 18th International Conference on Application of Concurrency to System Design (ACSD) s. 95 - 104
Hlavní autori:	Schulz-Rosengarten, Alexander, Smyth, Steven, von Hanxleden, Reinhard, Mendler, Michael
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.06.2018
Predmet:	circuit semantics Concurrent computing determinacy Esterel Hardware Program processors Reactive systems Schedules Semantics sequential constructiveness synchronous programming Wires
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!