Dimitris Mostrous
Dimitris Mostrous
Unknown affiliation
Verified email at di.fc.ul.pt - Homepage
Title
Cited by
Cited by
Year
Session types for object-oriented languages
M Dezani-Ciancaglini, D Mostrous, N Yoshida, S Drossopoulou
ECOOP 2006–Object-Oriented Programming, 328-352, 2006
1812006
Foundations of session types and behavioural contracts
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016
1382016
Global principal typing in partially commutative asynchronous sessions
D Mostrous, N Yoshida, K Honda
European Symposium on Programming, 316-332, 2009
1112009
Two session typing systems for higher-order mobile processes
D Mostrous, N Yoshida
International Conference on Typed Lambda Calculi and Applications, 321-335, 2007
622007
Objects and session types
M Dezani-Ciancaglini, S Drossopoulou, D Mostrous, N Yoshida
Information and Computation 207 (5), 595-641, 2009
492009
Session-based communication optimisation for higher-order mobile processes
D Mostrous, N Yoshida
International Conference on Typed Lambda Calculi and Applications, 203-218, 2009
422009
Session typing for a featherweight Erlang
D Mostrous, VT Vasconcelos
International Conference on Coordination Languages and Models, 95-109, 2011
392011
Session Typing and Asynchronous Subtyping for the Higher-Order pi-Calculus
D Mostrous, N Yoshida
Information and Computation 241 (0), 227 - 263, 2015
332015
Session typing and asynchronous subtyping for the higher-order pi-calculus
N Yoshida, D Mostrous
Elsevier, 2015
33*2015
Affine Sessions
D Mostrous, VT Vasconcelos
Coordination Models and Languages, 2014
202014
Session types in concurrent calculi: higher-order processes and objects
D Mostrous
Department of Computing, Imperial College London, 2010
172010
Foundations of behavioural types
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
Report of the EU COST Action IC1201–Behavioural Types for Reliable Large …, 2014
152014
Linearly refined session types
P Baltazar, D Mostrous, VT Vasconcelos
arXiv preprint arXiv:1211.4099, 2012
132012
A session object calculus for structured communication-based programming
D Mostrous, N Yoshida
Submitted, 2008
72008
Multiparty Sessions based on Proof Nets
D Mostrous
Programming Language Approaches to Concurrency and Communication-cEntric …, 2014
52014
Moose: a minimal object oriented language with session types
D Mostrous
Master's thesis, Imperial College, London, 2005
52005
Proof Nets in Process Algebraic Form
D Mostrous
12012
Affine Sessions
VT Vasconcelos, D Mostrous
Logical Methods in Computer Science 14, 2018
2018
Coordination Models and Languages
E Kühn, R Pugliese, P Baldan, F Bonchi, F Gadducci, G Monreale, ...
2014
Proof Nets as Processes
D Mostrous
2012
The system can't perform the operation now. Try again later.
Articles 1–20