Event structures for quantum computation
Frank Roumen ( University of Cambridge )
- 14:00 27th January 2017 ( week 2, Hilary Term 2017 )Lecture Theatre B
Event structures form a model for computational processes, and are
especially useful for describing concurrency. There are several variants
of event structures, which makes it possible to describe different kinds
of computations. We will discuss a version suitable for probabilistic
computation, and show how this can be generalized to model quantum
computation. We will also present a method to obtain a suitable quantum
event structure for a given quantum experiment.