M. Viering, T.-C. Chen, P. Eugster, R. Hu, and L. Ziarek
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
Proceedings of the 27th European Symposium on Programming (ESOP 2018), to appear June 2018. [PDF]
T.-C. Chen, M. Viering, A. Bejleri, L. Ziarek, and P. Eugster
A Type Theory for Robust Failure Handling in Distributed Systems
Proceedings of the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2016), June 2016. [PDF]
K.C. Sivaramakrishnan, M. Qudeisat, L. Ziarek, K. Nagaraj, and P. Eugster
Efficient Sessions
Science of Computer Programming (SCP), 78(2): 147-167, 2013. [PDF]
K.C. Sivaramakrishnan, K. Nagaraj, L. Ziarek, and P. Eugster
Efficient Session Type Guided Distributed Interaction
12th International Conference on Coordination Models and Languages (COORDINATION 2010), June 2010. [PDF]