Event structures for quantum computation
Frank Roumen ( University of Cambridge )
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.