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