Pages that link to "Item:Q3474904"
From MaRDI portal
The following pages link to Semantic Correctness for a Parallel Object-Oriented Language (Q3474904):
Displaying 8 items.
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- Denotational semantics of a parallel object-oriented language (Q910250) (← links)
- Four domains for concurrency (Q1179700) (← links)
- A layered semantics for a parallel object-oriented language (Q1194208) (← links)
- Rendez-vous with metric semantics (Q1313370) (← links)
- Base-type languages: Program design by upper semantic approximation (Q1905185) (← links)
- Generalizing finiteness conditions of labelled transition systems (Q4632441) (← links)
- An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)
