@inproceedings{SchulzRosengartenSvHM18a, author = {Alexander Schulz-Rosengarten and Steven Smyth and Reinhard von Hanxleden and Michael Mendler}, title = {On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems --- A Sequentially Constructive Circuit Semantics for {E}sterel}, booktitle = {2018 18th International Conference on Application of Concurrency to System Design (ACSD)}, month = {June}, year = {2018}, doi = {10.1109/ACSD.2018.00018}, pages = {95-104}, pdf = {acsd18.pdf}, }