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 14 items.
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- Denotational semantics of a parallel object-oriented language (Q910250) (← links)
- Denotational semantics of an object-oriented programming language with explicit wrappers (Q1261310) (← links)
- Rendez-vous with metric semantics (Q1313370) (← links)
- A transition system semantics for the control-driven coordination language MANIFOLD (Q1575145) (← links)
- Objects in the \(\pi\)-calculus (Q1891152) (← links)
- Semantic Correctness for a Parallel Object-Oriented Language (Q3474904) (← links)
- (Q3685165) (← links)
- (Q4372486) (← links)
- (Q4496249) (← links)
- (Q4884242) (← links)
- (Q4945248) (← links)
- Constraining interference in an object-based design method (Q5044731) (← links)
- Three metric domains of processes for bisimulation (Q5890043) (← links)