1k citations
- University of OxfordGB52 papers
- Centre National de la Recherche ScientifiqueFR50 papers
- University of SussexGB42 papers
- University of California, BerkeleyUS39 papers
- Goddard Space Flight CenterUS38 papers
- The University of Texas at AustinUS32 papers
- University of ManchesterGB32 papers
- Rochester Institute of TechnologyUS31 papers
- Search for Extraterrestrial IntelligenceUS31 papers
- Texas A&M UniversityUS27 papers
- Deleted Institution26 papers
- Mitchell InstituteUS26 papers
Showing 2010Show all
3 papers · 1 filter
math.FA2010★ 1 cited
Loomis--Sikorski Theorem and Stone Duality for Effect Algebras with Internal State
D. Buhagiar, E. Chetcutti, A. Dvurečenskij
Recently Flaminio and Montagna, \cite{FlMo}, extended the language of MV-algebras by adding a unary operation, called a state-operator. This notion is introduced here also for effe…
cs.LO2010★ 4 cited
Uniqueness Typing for Resource Management in Message-Passing Concurrency
Edsko de Vries, Adrian Francalanza, Matthew Hennessy
We view channels as the main form of resources in a message-passing programming paradigm. These channels need to be carefully managed in settings where resources are scarce. To stu…
quant-ph2010★ 10 cited
The EPR correlation in Kerr-Newman spacetime
Jackson Levi Said, Kristian Zarb Adami
The EPR correlation has become an integral part of quantum communications as has general relativity in classical communication theory, however when combined an apparent deteriorati…