The following pages link to Kirstin Peters (Q2123057):
Displayed 23 items.
- On distributability (Q2123059) (← links)
- Fault-tolerant multiparty session types (Q2165214) (← links)
- Encodability criteria for quantum based systems (Q2165221) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- Taming concurrency for verification using multiparty session types (Q2279123) (← links)
- Dynamic Causality in Event Structures (Q2827451) (← links)
- Mechanical Verification of a Constructive Proof for FLP (Q2829253) (← links)
- Is It a “Good” Encoding of Mixed Choice? (Q2892772) (← links)
- Breaking symmetries (Q2971075) (← links)
- Synchrony versus causality in distributed systems (Q2971080) (← links)
- (Q3384918) (← links)
- (Q3385647) (← links)
- (Q4964004) (← links)
- (Q4965862) (← links)
- (Q4965864) (← links)
- (Q4992497) (← links)
- (Q4995152) (← links)
- (Q5013871) (← links)
- (Q5013872) (← links)
- Session Types for Link Failures (Q5082187) (← links)
- On Distributability in Process Calculi (Q5326293) (← links)
- (Q6190871) (← links)