Simon J. Gay
AuthID: R-00H-3QT
1
TITLE: The Different Shades of Infinite Session Types
AUTHORS: Simon J Gay; Diogo Poças; Vasco T Vasconcelos ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2201.08275
AUTHORS: Simon J Gay; Diogo Poças; Vasco T Vasconcelos ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2201.08275
INDEXED IN: 
DBLP
DBLP2
TITLE: The Different Shades of Infinite Session Types
AUTHORS: Gay, Simon J.; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: 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
AUTHORS: Gay, Simon J.; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP3
TITLE: Duality of Session Types: The Final Cut
AUTHORS: Simon J Gay; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Simon J Gay; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus DBLP
Scopus DBLP4
TITLE: Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)
AUTHORS: Simon J Gay; Vasco T Vasconcelos ; Philip Wadler; Nobuko Yoshida;
PUBLISHED: 2017, SOURCE: Dagstuhl Reports, VOLUME: 7, ISSUE: 1
AUTHORS: Simon J Gay; Vasco T Vasconcelos ; Philip Wadler; Nobuko Yoshida;
PUBLISHED: 2017, SOURCE: Dagstuhl Reports, VOLUME: 7, ISSUE: 1
INDEXED IN: DBLP
DBLP5
TITLE: Linear type theory for asynchronous session types
AUTHORS: Gay, SJ; Vasconcelos, VT ;
PUBLISHED: 2010, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 20, ISSUE: 1
AUTHORS: Gay, SJ; Vasconcelos, VT ;
PUBLISHED: 2010, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 20, ISSUE: 1
6
TITLE: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009 Full Text
AUTHORS: Alastair R Beresford; Simon J Gay;
PUBLISHED: 2009, SOURCE: PLACES, VOLUME: 17
AUTHORS: Alastair R Beresford; Simon J Gay;
PUBLISHED: 2009, SOURCE: PLACES, VOLUME: 17
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef