Simon J. Gay
AuthID: R-00H-3QT
1
TÃTULO: The Different Shades of Infinite Session Types
AUTORES: Simon J Gay; Diogo Poças; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2201.08275
AUTORES: Simon J Gay; Diogo Poças; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2201.08275
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: The Different Shades of Infinite Session Types
AUTORES: Gay, Simon J.; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2022, FONTE: 25th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), VOLUME: 13242
AUTORES: Gay, Simon J.; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2022, FONTE: 25th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), VOLUME: 13242
INDEXADO EM: 
Scopus 
WOS DBLP
Scopus WOS DBLP3
TÃTULO: Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)
AUTORES: Simon J Gay; Vasco T Vasconcelos ; Philip Wadler; Nobuko Yoshida;
PUBLICAÇÃO: 2017, FONTE: Dagstuhl Reports, VOLUME: 7, NÚMERO: 1
AUTORES: Simon J Gay; Vasco T Vasconcelos ; Philip Wadler; Nobuko Yoshida;
PUBLICAÇÃO: 2017, FONTE: Dagstuhl Reports, VOLUME: 7, NÚMERO: 1
INDEXADO EM: DBLP
DBLP4
TÃTULO: Linear type theory for asynchronous session types
AUTORES: Gay, SJ; Vasconcelos, VT ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 20, NÚMERO: 1
AUTORES: Gay, SJ; Vasconcelos, VT ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 20, NÚMERO: 1
5
TÃTULO: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009 Full Text
AUTORES: Alastair R Beresford; Simon J Gay;
PUBLICAÇÃO: 2009, FONTE: PLACES, VOLUME: 17
AUTORES: Alastair R Beresford; Simon J Gay;
PUBLICAÇÃO: 2009, FONTE: PLACES, VOLUME: 17
INDEXADO EM: DBLP 
CrossRef
DBLP CrossRef