Pages that link to "Item:Q2817698"
From MaRDI portal
The following pages link to A theory of weak bisimulation for core CML (Q2817698):
Displaying 8 items.
- From CML to its process algebra (Q672132) (← links)
- Full abstractness for a functional/concurrent language with higher-order value-passing (Q1271466) (← links)
- Process calculus based upon evaluation to committed form (Q1276241) (← links)
- A behavioural theory of first-order CML (Q1285654) (← links)
- Asynchronous process calculi: The first- and higher-order paradigms (Q1589656) (← links)
- A theory of bisimulation for a fragment of concurrent ML with local names (Q1882896) (← links)
- Semantics for core Concurrent ML using computation types (Q2704322) (← links)
- From rewrite rules to bisimulation congruences (Q5958468) (← links)