#### Filter Results:

- Full text PDF available (36)

#### Publication Year

1993

2017

- This year (3)
- Last 5 years (20)
- Last 10 years (33)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
- NATO ASI DPD
- 1996

We propose Interaction Categories as a new paradigm for the semantics of functional and concurrent computation. Interaction categories have speciications as objects , processes as morphisms, and interaction as composition. We introduce two key examples of interaction categories for concurrent computation and indicate how a general axiomatisation can be… (More)

- Simon J. Gay, Rajagopal Nagarajan
- POPL
- 2005

We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication primitives of the pi-calculus with primitives for measurement and transformation of quantum state; in particular, quantum bits (qubits) can be transmitted from process to process… (More)

- Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
- Banff Higher Order Workshop
- 1995

Many diierent notions of \property of interest" and methods of verifying such properties arise naturally in programming. A general framework of \Speciication Structures" is presented for combining diierent notions and methods in a coherent fashion. This is then applied to concurrency in the setting of Interaction Categories. As an example, we present a type… (More)

- Rajagopal Nagarajan, Nikolaos Papanikolaou, David Williams
- Electr. Notes Theor. Comput. Sci.
- 2007

We present the SQRAM architecture for quantum computing, which is based on Knill’s QRAM model. We detail a suitable instruction set, which implements a universal set of quantum gates, and demonstrate the operation of the SQRAM with Deutsch’s quantum algorithm. The compilation of high-level quantum programs for the SQRAM machine is considered; we present… (More)

- Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
- ArXiv
- 2005

We establish fundamental and general techniques for formal verification of quantum protocols. Quantum protocols are novel communication schemes involving the use of quantum-mechanical phenomena for representation, storage and transmission of data. As opposed to quantum computers, quantum communication systems can and have been implemented using present-day… (More)

- Simon J. Gay, Rajagopal Nagarajan
- Mathematical Structures in Computer Science
- 2006

We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication primitives of the pi-calculus with primitives for measurement and transformation of quantum state; in particular, quantum bits (qubits) can be transmitted from process to process… (More)

- Simon J. Gay, Rajagopal Nagarajan
- LICS
- 1995

We propose a typed calculus of synchronous processes based on the structure of interaction categories. Our aim has been to develop a calculus for concurrency that is canonical in the sense that the typed-calculus is canonical for functional computation. We show strong connections between syntax, logic and semantics, analogous to the familiar correspondence… (More)

We describe the use of quantum process calculus to describe and analyze quantum communication protocols, following the successful field of formal methods from classical computer science. The key idea is to define two systems, one modelling a protocol and one expressing a specification, and prove that they are behaviourally equivalent. We summarize the… (More)

- Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath
- The Essence of Computation
- 2002

This paper presents a graph-based formulation of controlflow analysis using results from game semantics and proof-nets. Controlflow analysis aims to give a conservative prediction of the flow of control in a program. In our analysis, terms are represented by proof-nets and control-flow analysis amounts to the analysis of computation paths in the proof-net.… (More)

The novel field of quantum computation and quantum information has been growing at a rapid rate; the study of quantum information in particular has led to the emergence of communication and cryptographic protocols with no classical analogues. Quantum information protocols have interesting properties which are not exhibited by their classical counterparts,… (More)