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: 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
DBLP4
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
5
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