@inproceedings{72ff5fd2bf6840fabc2438b9ae65411d,
title = "Quantum cellular automata without quiescent states",
abstract = "We show how to construct quantum cellular automata (QCA) based on the formalism introduced by Watrous but without that formalism's {"}quiescent states,{"} by using shift-invariant Lebesgue measure on Cantor space. Although QCA's with quiescent states are strictly sufficient for computational purposes, removing quiescent states as a requirement allows global QCA states with infinite support that allows the state space of the QCA to be identified with the class of interpretations of logic-based formalism in a formal methods approach to proving the correctness correctness of QCAs with respect to formal specifications.",
author = "Irwin, {Robert J.} and Blair, {Howard A.}",
year = "2011",
doi = "10.1117/12.884182",
language = "English (US)",
isbn = "9780819486318",
series = "Proceedings of SPIE - The International Society for Optical Engineering",
booktitle = "Quantum Information and Computation IX",
note = "Quantum Information and Computation IX ; Conference date: 28-04-2011 Through 29-04-2011",
}