Pages that link to "Item:Q1882896"
From MaRDI portal
The following pages link to A theory of bisimulation for a fragment of concurrent ML with local names (Q1882896):
Displaying 12 items.
- Program equivalence in a simple language with state (Q456473) (← links)
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- Adding recursion to Dpi (Q877023) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- Assigning types to processes (Q1854525) (← links)
- A game semantics of names and pointers (Q2474444) (← links)
- Typed behavioural equivalences for processes in the presence of subtyping (Q2841263) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- Howe’s Method for Calculi with Passivation (Q3184692) (← links)
- Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures (Q5262945) (← links)
- From Applicative to Environmental Bisimulation (Q5739359) (← links)
- A bisimulation for dynamic sealing (Q5899331) (← links)
