Pages that link to "Item:Q4236976"
From MaRDI portal
The following pages link to A theory of weak bisimulation for Core CML (Q4236976):
Displaying 5 items.
- More on bisimulations for higher order \(\pi\)-calculus (Q442289) (← links)
- A fully abstract may testing semantics for concurrent objects (Q557787) (← links)
- A theory of bisimulation for a fragment of concurrent ML with local names (Q1882896) (← links)
- Modelling dynamic web data (Q2566029) (← links)
- Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures (Q5262945) (← links)
