Dimitris Mostrous

ORCID

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 3

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Dimitris Mostrous, Vasco T. Vasconcelos
Affine Sessions. Log. Methods Comput. Sci. 14 (4) (2018)
Dimitris Mostrous, Vasco T. Vasconcelos
Affine Sessions. CoRR (2018)
Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49 (1) (2016)
Dimitris Mostrous, Nobuko Yoshida
Session typing and asynchronous subtyping for the higher-order π-calculus. Inf. Comput. 241 (2015)
Dimitris Mostrous
Multiparty Sessions based on Proof Nets. PLACES (2014)
Dimitris Mostrous, Vasco Thudichum Vasconcelos
Affine Sessions. COORDINATION (2014)
Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos
Linearly Refined Session Types LINEARITY (2012)
Dimitris Mostrous, Vasco Thudichum Vasconcelos
Session Typing for a Featherweight Erlang. COORDINATION (2011)
Dimitris Mostrous, Nobuko Yoshida
Session-Based Communication Optimisation for Higher-Order Mobile Processes. TLCA (2009)
Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
Global Principal Typing in Partially Commutative Asynchronous Sessions. ESOP (2009)
Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida
Objects and session types. Inf. Comput. 207 (5) (2009)
Dimitris Mostrous, Nobuko Yoshida
Two Session Typing Systems for Higher-Order Mobile Processes. TLCA (2007)
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou
Session Types for Object-Oriented Languages. ECOOP (2006)

Dimitris Mostrous.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dimitris Mostrous