ABSTRACT: Measurement based models have brought new perspectives to the field of quantum information processing. Recently we gave evidence that MQC not only did suggest innovative implementation techniques, but could also prove useful in finding new quantum algorithms and assessing the expressiveness of quantum computation. I will quickly review the one-way model (the most basic of measurement-based models) and present a rigourous mathematical framework and an abstract model that would offer the means for direct analysis and manipulation of the model. Computation patterns are organised in a monoidal category and shown to verify a normal form theorem where entanglement is done first and subsequent operations, measurements and unitaries are all local.
If time permits I'll also discuss the following topics: