Nils Gesbert
AuthID: R-006-WHW
1
TÃTULO: Session types as generic process types Full Text
AUTORES: Gay, SJ; Gesbert, N; Ravara, A;
PUBLICAÇÃO: 2014, FONTE: Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, EXPRESS/SOS 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 160
AUTORES: Gay, SJ; Gesbert, N; Ravara, A;
PUBLICAÇÃO: 2014, FONTE: Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, EXPRESS/SOS 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 160
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef