pith. sign in

Simon J. Gay (University of Glasgow)

Identifiers

  • name variant Simon J. Gay (University of Glasgow) 0.60 · backfill

Papers (5)

  1. Multiparty Compatibility for Concurrent Objects cs.PL · 2016 · author #3
  2. Verification of Linear Optical Quantum Computing using Quantum Process Calculus cs.LO · 2014 · author #2
  3. Session Types for Broadcasting cs.PL · 2014 · author #3
  4. Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols cs.LO · 2013 · author #1
  5. 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