Pages that link to "Item:Q2892772"
From MaRDI portal
The following pages link to Is It a “Good” Encoding of Mixed Choice? (Q2892772):
Displayed 14 items.
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Breaking symmetries (Q2971075) (← links)
- Synchrony versus causality in distributed systems (Q2971080) (← links)
- (Q3385647) (← links)
- (Q5013871) (← links)
- (Q5013872) (← links)
- (Q5141619) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5915975) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5918263) (← links)
- Psi-calculi revisited: connectivity and compositionality (Q6190177) (← links)
- (Q6190871) (← links)