The following pages link to Tzu-Chun Chen (Q492915):
Displayed 8 items.
- Lightening global types (Q492916) (← links)
- Monitoring networks through multiparty session types (Q517050) (← links)
- A typing discipline for statically verified crash failure handling in distributed systems (Q2324008) (← links)
- A Type Theory for Robust Failure Handling in Distributed Systems (Q2827463) (← links)
- Specifying Stateful Asynchronous Properties for Distributed Programs (Q2914372) (← links)
- (Q4637692) (← links)
- (Q5277832) (← links)
- (Q5278078) (← links)