Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

3 résultats

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics

Samson Abramsky , Michael W. Mislove , Catuscia Palamidessi
Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi. Elsevier, 249, pp.1-490, 2009, Electronic Notes in Theoretical Computer Science
Ouvrages hal-00772697v1

Special issue dedicated to a selection of papers from Mathematical Foundations of Programming Semantics (MFPS XXV). Theoretical Computer Science 430 (1-2)

Samson Abramsky , Michael W. Mislove , Catuscia Palamidessi
Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi. Elsevier B.V., pp.125, 2012
Ouvrages hal-00778536v1

A complete characterisation of All-versus-Nothing arguments for stabiliser states

Samson Abramsky , Rui Soares Barbosa , Giovanni Carù , Simon Perdrix
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2017, Second quantum revolution: foundational questions, 375 (2106), ⟨10.1098/rsta.2016.0385⟩
Article dans une revue hal-01528687v1