Dimitris Mostrous
AuthID: R-001-TAM
1
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
2
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
