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á bibliografie

Vydáno v:	2018 18th International Conference on Application of Concurrency to System Design (ACSD) s. 95 - 104
Hlavní autoři:	Schulz-Rosengarten, Alexander, Smyth, Steven, von Hanxleden, Reinhard, Mendler, Michael
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.06.2018
Témata:	circuit semantics Concurrent computing determinacy Esterel Hardware Program processors Reactive systems Schedules Semantics sequential constructiveness synchronous programming Wires
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!