Pages that link to "Item:Q2639646"
From MaRDI portal
The following pages link to A domain equation for bisimulation (Q2639646):
Displaying 8 items.
- Three metric domains of processes for bisimulation (Q5890043) (← links)
- A fully abstract denotational model for observational precongruence (Q5940916) (← links)
- Quantales, finite observations and strong bisimulation (Q5940918) (← links)
- A fully abstract denotational semantics for the calculus of higher-order communicating systems (Q5940933) (← links)
- Explicit substitutions for \(\pi\)-congruences (Q5958613) (← links)
- On relating concurrency and nondeterminism (Q6116582) (← links)
- A fully abstract denotational model for observational precongruence (Q6560177) (← links)
- (Towards a) statistical probabilistic lazy lambda calculus (Q6612804) (← links)