Login / Signup
On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel.
Alexander Schulz-Rosengarten
Steven Smyth
Reinhard von Hanxleden
Michael Mendler
Published in:
ACSD (2018)
Keyphrases
</>
circuit design
reactive systems
control flow
data flow
model checking
formal methods
temporal logic
concurrency control
state machines
information flow
database systems
petri net
decision making
data exchange
process model
logic programming
case study