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: Duality of Session Types: The Final Cut
AUTORES: Simon J Gay; Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020 in Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020., VOLUME: 314
AUTORES: Simon J Gay; Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020 in Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020., VOLUME: 314
INDEXADO EM: Scopus DBLP
Scopus DBLP4
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
DBLP5
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
6
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