The following pages link to Towards a semantic theory of CML (Q3569034):
Displaying 6 items.
- From CML to its process algebra (Q672132) (← links)
- Full abstractness for a functional/concurrent language with higher-order value-passing (Q1271466) (← links)
- A behavioural theory of first-order CML (Q1285654) (← 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)
- (Q5482602) (← links)