Pages that link to "Item:Q1194208"
From MaRDI portal
The following pages link to A layered semantics for a parallel object-oriented language (Q1194208):
Displaying 4 items.
- Rendez-vous with metric semantics (Q1313370) (← links)
- A transition system semantics for the control-driven coordination language MANIFOLD (Q1575145) (← links)
- Constraining interference in an object-based design method (Q5044731) (← links)
- Three metric domains of processes for bisimulation (Q5890043) (← links)