Simon J. Gay (University of Glasgow)
Identifiers
- name variant Simon J. Gay (University of Glasgow) 0.60 · backfill
Papers (5)
- Multiparty Compatibility for Concurrent Objects cs.PL · 2016 · author #3
- Verification of Linear Optical Quantum Computing using Quantum Process Calculus cs.LO · 2014 · author #2
- Session Types for Broadcasting cs.PL · 2014 · author #3
- Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols cs.LO · 2013 · author #1
- Modular session types for objects cs.PL · 2012 · author #1
Mentions
- 1408.1460 #2 · backfill · confidence 0.70 Simon J. Gay (University of Glasgow)
- 1406.3481 #3 · backfill · confidence 0.70 Simon J. Gay (University of Glasgow)
- 1303.2896 #1 · backfill · confidence 0.70 Simon J. Gay (University of Glasgow)
- 1205.5344 #1 · backfill · confidence 0.70 Simon J. Gay (University of Glasgow)
Frequent Coauthors
- Ittoop Vergheese Puthoor (University of Glasgow) 2 shared papers
- Ant\'onio Ravara (Universidade Nova de Lisboa) 1 shared papers
- Dimitrios Kouzapas (University of Glasgow) 1 shared papers
- Julien Lange (Imperial College London) 1 shared papers
- Nils Gesbert (Grenoble INP - Ensimag) 1 shared papers
- Ram\=unas Gutkovas (Uppsala University) 1 shared papers
- Roly Perera (University of Glasgow) 1 shared papers
- Sonja Franke-Arnold (University of Glasgow) 1 shared papers
- Vasco T. Vasconcelos (Universidade de Lisboa) 1 shared papers