Publications

 
  1. Efficient Sessions PDF

   KC Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj and Patrick Eugster

   Science of Computer Programming, 2013


  1. Efficient session type guided distributed interactionPDF

   KC Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster

   Coordination, 2010


  1. Technical Report: Robust Distributed Programs by DesignPDF

   Mohammad Qudeisat, Lukasz Ziarek, Patrick Eugster