![](/img/cover-not-exists.png)
[IEEE 2018 18th International Conference on Application of Concurrency to System Design (ACSD) - Bratislava (2018.6.25-2018.6.29)] 2018 18th International Conference on Application of Concurrency to System Design (ACSD) - On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems—A Sequentially Constructive Circuit Semantics for Esterel
Schulz-Rosengarten, Alexander, Smyth, Steven, von Hanxleden, Reinhard, Mendler, MichaelYear:
2018
Language:
english
DOI:
10.1109/acsd.2018.00018
File:
PDF, 287 KB
english, 2018