Pages that link to "Item:Q1400471"
From MaRDI portal
The following pages link to The semantics and execution of a synchronous block-diagram language. (Q1400471):
Displaying 5 items.
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- A relaxation of Üresin and Dubois' asynchronous fixed-point theory in Agda (Q2209538) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- Actors without Directors: A Kahnian View of Heterogeneous Systems (Q3624561) (← links)
- Feedback in Synchronous Relational Interfaces (Q5170752) (← links)