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 9 items.
- Non-standard semantics of hybrid systems modelers (Q439952) (← links)
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← 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)
- Modular code generation from synchronous block diagrams (Q5261507) (← links)
- Programming Languages and Systems (Q5464057) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900583) (← links)