Pages that link to "Item:Q959824"
From MaRDI portal
The following pages link to CPO semantics of timed interactive actor networks (Q959824):
Displaying 5 items.
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- A modular formal semantics for Ptolemy (Q2843863) (← links)
- Modeling for Verification (Q3176361) (← links)
- Actors without Directors: A Kahnian View of Heterogeneous Systems (Q3624561) (← links)
