Dimitris Mostrous

According to our database, Dimitris Mostrous authored at least 12 papers between 2006 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Foundations of Session Types and Behavioural Contracts.

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

ACM Comput. Surv., 2016

2015

Session typing and asynchronous subtyping for the higher-order π-calculus.

Dimitris Mostrous, Nobuko Yoshida

Inf. Comput., 2015

2014

Multiparty Sessions based on Proof Nets.

Dimitris Mostrous

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Affine Sessions.

Dimitris Mostrous, Vasco Thudichum Vasconcelos

Proceedings of the Coordination Models and Languages, 2014

2012

Linearly Refined Session Types

Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos

Proceedings of the Proceedings 2nd International Workshop on Linearity, 2012

2011

Session Typing for a Featherweight Erlang.

Dimitris Mostrous, Vasco Thudichum Vasconcelos

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

2010

Session types in concurrent calculi : higher-order processes and objects.

Dimitris Mostrous

PhD thesis, 2010

2009

Objects and session types.

Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida

Inf. Comput., 2009

Session-Based Communication Optimisation for Higher-Order Mobile Processes.

Dimitris Mostrous, Nobuko Yoshida

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

Global Principal Typing in Partially Commutative Asynchronous Sessions.

Dimitris Mostrous, Nobuko Yoshida, Kohei Honda

Proceedings of the Programming Languages and Systems, 2009

2007

Two Session Typing Systems for Higher-Order Mobile Processes.

Dimitris Mostrous, Nobuko Yoshida

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

2006

Session Types for Object-Oriented Languages.

Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou

Proceedings of the ECOOP 2006, 2006