Pubblicazioni

Quantum State Transformations and Branching Distributed Temporal Logic  (2014)

Autori:
Vigano', Luca; Volpe, Marco; Zorzi, Margherita
Titolo:
Quantum State Transformations and Branching Distributed Temporal Logic
Anno:
2014
Tipologia prodotto:
Contributo in atti di convegno
Tipologia ANVUR:
Contributo in Atti di convegno
Lingua:
Inglese
Formato:
A Stampa
Nome rivista:
LECTURE NOTES IN COMPUTER SCIENCE
ISSN Rivista:
0302-9743
N° Volume:
8652
Titolo del Convegno:
21st Workshop on Logic, Language, Information and Computation (WoLLIC'14)
Luogo:
Valparaiso, Chile
Periodo:
September 1st to 4th, 2014
Editore:
Springer Verlag Germany
Casa editrice:
Springer Verlag Germany
ISBN:
9783662441442
Intervallo pagine:
1-19
Parole chiave:
distributed temporal logic; Logics for Quantum Computing; branching temporal logic
Breve descrizione dei contenuti:
The Distributed Temporal Logic DTL allows one to reason about temporal properties of a distributed system from the local point of view of the system’s agents, which are assumed to execute independently and to interact by means of event sharing. In this paper, we introduce the Quantum Branching Distributed Temporal Logic QBDTL, a variant of DTL able to represent quantum state transformations in an abstract, qualitative way. In QBDTL, each agent rep- resents a distinct quantum bit (the unit of quantum information theory), which evolves by means of quantum transformations and possibly interacts with other agents, and n-ary quantum operators act as communication/synchronization points between agents. We endow QBDTL with a DTL-style semantics, which fits the intrinsically distributed nature of quantum computing, we formalize a labeled de- duction system for QBDTL, and we prove the soundness of this deduction system with respect to the given semantics. Finally, we discuss possible extensions of our system in order to reason about entanglement phenomena.
Id prodotto:
81421
Handle IRIS:
11562/728369
depositato il:
20 maggio 2014
ultima modifica:
25 settembre 2022
Citazione bibliografica:
Vigano', Luca; Volpe, Marco; Zorzi, Margherita, Quantum State Transformations and Branching Distributed Temporal Logic in «LECTURE NOTES IN COMPUTER SCIENCE» vol. 8652 Springer Verlag Germany  in Proceedings of 21st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2014Springer Verlag GermanyAtti di "21st Workshop on Logic, Language, Information and Computation (WoLLIC'14)" , Valparaiso, Chile , September 1st to 4th, 2014 , 2014pp. 1-19

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo IRIS

Progetti Collegati
Titolo Dipartimento Responsabili
Generalizing Truth-Functionality: GeTFun Dipartimento Informatica Luca Vigano'
<<indietro

Attività

Strutture