Dimitris Mostrous

14 papers A 2C 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2018 J jnl
Affine Sessions.
CoRR
Dimitris Mostrous, Vasco T. Vasconcelos
2018 J jnl
Affine Sessions.
Log. Methods Comput. Sci.
Dimitris Mostrous, Vasco T. Vasconcelos
2016 J jnl
Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv.
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
2015 J jnl
Session typing and asynchronous subtyping for the higher-order π-calculus.
Inf. Comput.
Dimitris Mostrous, Nobuko Yoshida
2014 C conf
Affine Sessions.
COORDINATION
Dimitris Mostrous, Vasco Thudichum Vasconcelos
2014 — conf
Multiparty Sessions based on Proof Nets.
PLACES
Dimitris Mostrous
2012 — conf
Linearly Refined Session Types
LINEARITY
Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos
2011 C conf
Session Typing for a Featherweight Erlang.
COORDINATION
Dimitris Mostrous, Vasco Thudichum Vasconcelos
2010 — —
Session types in concurrent calculi : higher-order processes and objects.
Dimitris Mostrous
2009 A conf
Global Principal Typing in Partially Commutative Asynchronous Sessions.
ESOP
Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
2009 J jnl
Objects and session types.
Inf. Comput.
Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida
2009 — conf
Session-Based Communication Optimisation for Higher-Order Mobile Processes.
TLCA
Dimitris Mostrous, Nobuko Yoshida
2007 — conf
Two Session Typing Systems for Higher-Order Mobile Processes.
TLCA
Dimitris Mostrous, Nobuko Yoshida
2006 A conf
Session Types for Object-Oriented Languages.
ECOOP
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou