Pages that link to "Item:Q688827"
From MaRDI portal
The following pages link to Communicating processes with value-passing and assignments (Q688827):
Displaying 6 items.
- A ground-complete axiomatization of stateless bisimilarity over Linda (Q477631) (← links)
- Late and early semantics coincide for testing (Q673146) (← links)
- Theory of interaction (Q896903) (← links)
- Bisimulations for a calculus of broadcasting systems (Q1276256) (← links)
- A behavioural theory of first-order CML (Q1285654) (← links)
- The Value-Passing Calculus (Q2842635) (← links)