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...

Full description

Bibliographic Details

Published in:	2018 18th International Conference on Application of Concurrency to System Design (ACSD) pp. 95 - 104
Main Authors:	Schulz-Rosengarten, Alexander, Smyth, Steven, von Hanxleden, Reinhard, Mendler, Michael
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.06.2018
Subjects:	circuit semantics Concurrent computing determinacy Esterel Hardware Program processors Reactive systems Schedules Semantics sequential constructiveness synchronous programming Wires
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!