Pubblicazioni

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:

8 novembre 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 2014 , Springer Verlag Germany , Atti di "21st Workshop on Logic, Language, Information and Computation (WoLLIC'14)" , Valparaiso, Chile , September 1st to 4th, 2014 , 2014 , pp. 1-19

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