Joint work with Vincent Danos and Prakash Panangaden
Le calcul quantique à base de mesures (measurement) est un sujet en plein essor, notamment parce qu'il propose de bonnes perspectives d'implémentation. Nous définirons l'un de ces nouveaux modèles dû à Raussendorf et Briegel, et présenterons une algèbre sur les programmes de ce modèle : « The measurement calculus ». Cette algèbre permet de donner des formes analytiques aux programmes, et offre également une méthode de contrôle du non déterminisme inhérent aux mesures quantiques.