Pages that link to "Item:Q2817698"
From MaRDI portal
The following pages link to A theory of weak bisimulation for core CML (Q2817698):
Displayed 5 items.
- 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)
- From rewrite rules to bisimulation congruences (Q5958468) (← links)