The following pages link to (Q5013872):
Displayed 5 items.
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- (Q3385647) (← links)
- (Q5013871) (← links)
- Translation of CCS into CSP, correct up to strong bisimulation (Q6045054) (← links)