Grounding Synchronous Deterministic Concurrency in Sequential Programming (Q5410702)
From MaRDI portal
scientific article; zbMATH DE number 6286388
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Grounding Synchronous Deterministic Concurrency in Sequential Programming |
scientific article; zbMATH DE number 6286388 |
Statements
Grounding Synchronous Deterministic Concurrency in Sequential Programming (English)
0 references
16 April 2014
0 references
concurrency
0 references
constructiveness
0 references
determinism
0 references
Mealy reactive systems
0 references
synchronous programming
0 references
Esterel
0 references
