Dimitris Mostrous

Supervisor Nobuko Yoshida.

Contact +44 (0) 20 7594 8449  |  let   x = mostrous  in  x@doc.ic.ac.uk  |  Huxley 558a
  

update: presently on a "nested" postdoc at Universidade de Lisboa.

Publications

Session-Based Communication Optimisation for Higher-Order Mobile Processes  (some slides)
Dimitris Mostrous and Nobuko Yoshida    TLCA 2009 (bib)


Global Principal Typing in Partially Commutative Asynchronous Sessions  (some slides)
Dimitris Mostrous, Nobuko Yoshida  and Kohei Honda    ESOP 2009 (bib)


Two Session Typing Systems for Higher-Order Mobile Processes (proofs)
Dimitris Mostrous and Nobuko Yoshida    TLCA 2007 (bib)


Session Types for Object-Oriented Languages (some slides)
Mariangiola Dezani-Ciancaglini , Dimitris Mostrous, Nobuko Yoshida , and Sophia Drossopoulou .  ECOOP 2006 (bib)
Long version to appear at Information and Computation, 2009. (DOI link)

Moose: A Minimal Object Oriented Language with Session Types  2up bib (Masters Thesis) 

Professional Activities

ICE 2009   2nd Interaction and Concurrency Experience Workshop PC member.