The following pages link to (Q5013871):
Displaying 14 items.
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
- On distributability (Q2123059) (← links)
- Encodability criteria for quantum based systems (Q2165221) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- (Q3385647) (← links)
- (Q5013872) (← links)
- Mixed choice in session types (Q6543263) (← links)
- Encodability criteria for quantum based systems (Q6563052) (← links)
- Characterizing contrasimilarity through games, modal logic, and complexity (Q6614880) (← links)
- A game characterization for contrasimilarity (Q6643746) (← links)