Pages that link to "Item:Q1854388"
From MaRDI portal
The following pages link to Compositionality in dataflow synchronous languages: Specification and distributed code generation (Q1854388):
Displaying 5 items.
- Non-standard semantics of hybrid systems modelers (Q439952) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- Synchronous structures (Q2500524) (← links)
- A framework for modeling the distributed deployment of synchronous designs (Q2505631) (← links)
- Concurrency in synchronous systems (Q2505637) (← links)
