Mobility Reading Group

π-calculus, Session Types research at Imperial College

News

Nick has been nominated for the 2016 PDC Reps Awards.

Thursday, July 7, 2016

The Kohei Honda Prize for Distributed Systems at QMUL was awarded to Alhamza Alnaimi for the project titled ‘Near Real-time Distributed Temporal Graph Processing’.

Thursday, June 23, 2016

Ray has been nominated for the 2016 Student Academic Choice Awards.

» more

Wednesday, June 01 2016

The Kohei Honda Prize for Distributed Systems at QMUL was awarded to Reza Abedian (QMUL) and Tian Yang (QMUL) for 2015.

Friday, November 6, 2015

The Kohei Honda Prize for Distributed Systems at QMUL was awarded to Filippo Charuttini (QMUL) and Joana Vasileva (QMUL) for 2014.

Wednesday, September 30, 2015

Nicholas passed his viva today, congratulations Dr. Ng!

Thursday, January 22, 2015

The Kohei Honda Prize for Distributed Systems at QMUL was established and awarded to Mr Valdmir Negacevsci (QMUL) and Ms Anna Pawlicka (QMUL).

Tuesday, December 17, 2013

Dimitris passed his viva today, congratulations Dr. Kouzapas!

Friday, June 21, 2013

Tzu-Chun passed her viva today, congratulations Dr. Chen!

Monday, May 20, 2013

Featured publications

  • 2016

  • Kohei Honda, Nobuko Yoshida, Marco CarboneMultiparty asynchronous session types . JACM: 63 (1-9), 1 - 67.
  • 2015

  • Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko YoshidaProtocol-Based Verification of Message-Passing Parallel Programs . OOPSLA'15: 280 - 298.
  • Dimitris Mostrous, Nobuko YoshidaSession Typing and Asynchronous Subtyping for the Higher-Order π-Calculus . Inform. Comput.: 241, 227 - 263.
  • Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca PadovaniGlobal Progress for Dynamically Interleaved Multiparty Sessions . MSCS: 760, 1 - 65.
  • 2014

  • Rumyana NeykovaNobuko YoshidaMultiparty Session Actors . COORDINATION 2014: 131 - 146.
  • Sara Capecchi, Elena Giachino, Nobuko YoshidaGlobal Escape in Multiparty Sessions . MSCS: 26 (SI2), 156 - 295.
  • Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko YoshidaOn the Preciseness of Subtyping in Session Types . PPDP 2014: 135 - 146.
  • 2013

  • Fabrizio Montesi, Nobuko YoshidaCompositional Choreographies . CONCUR 2013: 439 - 425.
More »