Dimitris Mostrous
AuthID: R-001-TAM
1
TITLE: AFFINE SESSIONS
AUTHORS: Mostrous, D; Vasconcelos, VT ;
PUBLISHED: 2018, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 14, ISSUE: 4
AUTHORS: Mostrous, D; Vasconcelos, VT ;
PUBLISHED: 2018, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 14, ISSUE: 4
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Affine Sessions PDF
AUTHORS: Dimitris Mostrous; Vasco T Vasconcelos ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1809.02781
AUTHORS: Dimitris Mostrous; Vasco T Vasconcelos ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1809.02781
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv3
TITLE: Affine Sessions
AUTHORS: Dimitris Mostrous; Vasco T Vasconcelos ;
PUBLISHED: 2018, SOURCE: Logical Methods in Computer Science, VOLUME: 14, ISSUE: 4
AUTHORS: Dimitris Mostrous; Vasco T Vasconcelos ;
PUBLISHED: 2018, SOURCE: Logical Methods in Computer Science, VOLUME: 14, ISSUE: 4
INDEXED IN: DBLP
DBLP4
TITLE: Foundations of Session Types and Behavioural Contracts Full Text
AUTHORS: 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;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 1
AUTHORS: 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;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 1
5
TITLE: Session Typing for a Featherweight Erlang
AUTHORS: Mostrous, D; Vasconcelos, VT ;
PUBLISHED: 2011, SOURCE: 13th International Conference on Coordination Models and Languages (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2011, VOLUME: 6721
AUTHORS: Mostrous, D; Vasconcelos, VT ;
PUBLISHED: 2011, SOURCE: 13th International Conference on Coordination Models and Languages (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2011, VOLUME: 6721
