Follow
Dimitris Mostrous
Dimitris Mostrous
Unknown affiliation
Verified email at di.fc.ul.pt - Homepage
Title
Cited by
Cited by
Year
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
2712016
Session types for object-oriented languages
M Dezani-Ciancaglini, D Mostrous, N Yoshida, S Drossopoulou
ECOOP 2006–Object-Oriented Programming, 328-352, 2006
1902006
Global principal typing in partially commutative asynchronous sessions
D Mostrous, N Yoshida, K Honda
Programming Languages and Systems: 18th European Symposium on Programming …, 2009
1422009
Two session typing systems for higher-order mobile processes
D Mostrous, N Yoshida
International Conference on Typed Lambda Calculi and Applications, 321-335, 2007
602007
Session typing for a featherweight Erlang
D Mostrous, VT Vasconcelos
International Conference on Coordination Languages and Models, 95-109, 2011
532011
Session Typing and Asynchronous Subtyping for the Higher-Order pi-Calculus
D Mostrous, N Yoshida
Information and Computation 241 (0), 227 - 263, 2015
492015
Session typing and asynchronous subtyping for the higher-order pi-calculus
N Yoshida, D Mostrous
Elsevier, 2015
49*2015
Objects and session types
M Dezani-Ciancaglini, S Drossopoulou, D Mostrous, N Yoshida
Information and Computation 207 (5), 595-641, 2009
452009
Affine Sessions
D Mostrous, VT Vasconcelos
Coordination Models and Languages, 2014
42*2014
Session-based communication optimisation for higher-order mobile processes
D Mostrous, N Yoshida
International Conference on Typed Lambda Calculi and Applications, 203-218, 2009
402009
Linearly refined session types
P Baltazar, D Mostrous, VT Vasconcelos
arXiv preprint arXiv:1211.4099, 2012
192012
Session types in concurrent calculi: higher-order processes and objects
D Mostrous
Department of Computing, Imperial College London, 2010
162010
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
Session Types for Object-Oriented Languages
M Dezani, S Drossopoulou, D Mostrous, N Yoshida
Information and Computation 207, 595-641, 2009
72009
A session object calculus for structured communication-based programming
D Mostrous, N Yoshida
Submitted, 2008
72008
Moose: a minimal object oriented language with session types
D Mostrous
Master's thesis, Imperial College, London, 2005
52005
Multiparty Sessions based on Proof Nets
D Mostrous
Programming Language Approaches to Concurrency and Communication-cEntric …, 2014
32014
Proof Nets in Process Algebraic Form
D Mostrous
12012
Proof Nets as Processes
D Mostrous
2012
A Higher Order Client-Server Calculus with Sessions
D Mostrous
2006
The system can't perform the operation now. Try again later.
Articles 1–20