Pages that link to "Item:Q919834"
From MaRDI portal
The following pages link to Contractions in comparing concurrency semantics (Q919834):
Displaying 8 items.
- Denotational models for programming languages: Applications of Banach's fixed point theorem (Q1295293) (← links)
- Rendez-vous with metric semantics (Q1313370) (← links)
- Bisimulation indexes and their applications (Q1606119) (← links)
- (Q4499206) (← links)
- Generalizing finiteness conditions of labelled transition systems (Q4632441) (← links)
- Three metric domains of processes for bisimulation (Q5890043) (← links)
- Topological models for higher order control flow (Q5890044) (← links)
- An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)
