Dimitris Mostrous

Contact    di...@di.fc.ul.pt  |  FCUL 6.3.14

Bibliometric info    Google scholar profile



Publications

In Journals

Foundations of Session Types and Behavioural Contracts (PDF)
Hans Hüttel et al. 
ACM Computing Surveys (CSUR) 2016 (bib

Session typing and asynchronous subtyping for the higher-order π-calculus (PDF, Open Access)
Dimitris Mostrous, and Nobuko Yoshida 
Information and Computation 2015 (bib

Objects and Session Types (Preprint)
Mariangiola Dezani-Ciancaglini , Sophia Drossopoulou , Dimitris Mostrous, and Nobuko Yoshida 
Information and Computation 2009 (bib

In Conferences, Workshops

Affine Sessions  
Dimitris Mostrous and Vasco T. Vasconcelos    COORDINATION 2014 


Multiparty Sessions Based on Proof Nets 
Dimitris Mostrous   PLACES 2014


Linearly Refined Session Types  
Pedro Baltazar , Dimitris Mostrous and Vasco T. Vasconcelos    LINEARITY 2012 


Session Typing for a Featherweight Erlang  
Dimitris Mostrous and Vasco T. Vasconcelos    COORDINATION 2011 


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)

Technical Reports and Drafts

Proof Nets as Processes  
Dimitris Mostrous   October 2012, Technical Report DI-FCUL-TR-2012-07 


Proof Nets in Process Algebraic Form  
Dimitris Mostrous   April 12, 2012 (minor improvements: April 19, 2012) 

PhD Thesis

Session Types in Concurrent Calculi: Higher-Order Processes and Objects  (bib)
Supervisor Nobuko Yoshida , Imperial College London , 2010.

Masters Thesis

Moose: A Minimal Object Oriented Language with Session Types  2up bib  

Professional Activities

WSFM/BEAT 2015   4th International Workshop on Behavioural Types PC member.
SOFT-PT 2015 (INForum)   7th INForum informatics symposium PC member.
ICE 2015   8th Interaction and Concurrency Experience Workshop PC member.
BETTY Summer School 2014   First International Summer School on Behavioural Types Organising Committee.
PUP 2013-   Parallella University Program Responsible for University of Lisbon.
ICE 2009   2nd Interaction and Concurrency Experience Workshop PC member.