The following pages link to Simon J. Gay (Q859840):
Displayed 34 items.
- (Q706488) (redirect page) (← links)
- (Q1960534) (redirect page) (← links)
- Intensional and extensional semantics of dataflow programs (Q706490) (← links)
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- Type inference and strong static type checking for Promela (Q988201) (← links)
- A new linear logic for deadlock-free session-typed processes (Q1652969) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
- On Duality Relations for Session Types (Q2811925) (← links)
- Equational Reasoning About Quantum Protocols (Q2822505) (← links)
- Quantum Process Calculus for Linear Optical Quantum Computing (Q2868454) (← links)
- Subtyping Supports Safe Session Substitution (Q3188281) (← links)
- (Q3396562) (← links)
- Modular session types for objects (Q3460414) (← links)
- Bounded polymorphism in session types (Q3535678) (← links)
- (Q3560846) (← links)
- (Q4364392) (← links)
- Automated Equivalence Checking of Concurrent Quantum Systems (Q4617973) (← links)
- (Q4790662) (← links)
- (Q4870807) (← links)
- (Q4870808) (← links)
- (Q4885871) (← links)
- Techniques for Formal Modelling and Analysis of Quantum Systems (Q4922086) (← links)
- (Q4986182) (← links)
- (Q4995142) (← links)
- (Q4995157) (← links)
- (Q4995158) (← links)
- Linear type theory for asynchronous session types (Q5189644) (← links)
- Modular session types for distributed object-oriented programming (Q5255084) (← links)
- Communicating quantum processes (Q5276142) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311495) (← links)
- Equivalence Checking of Quantum Protocols (Q5326347) (← links)
- Quantum programming languages: survey and bibliography (Q5482260) (← links)
- Types and typechecking for Communicating Quantum Processes (Q5482266) (← links)
- The different shades of infinite session types (Q6141781) (← links)