{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:01Z","timestamp":1761611161249},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2005,6,1]],"date-time":"2005-06-01T00:00:00Z","timestamp":1117584000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Theor Phys"],"published-print":{"date-parts":[[2005,6]]},"DOI":"10.1007\/s10773-005-3997-2","type":"journal-article","created":{"date-parts":[[2005,7,1]],"date-time":"2005-07-01T06:49:08Z","timestamp":1120200548000},"page":"655-689","source":"Crossref","is-referenced-by-count":14,"title":["A Noncommutative Theory of Penrose Tilings"],"prefix":"10.1007","volume":"44","author":[{"given":"Christopher J.","family":"Mulvey","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Resende","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3997_CR1","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1017\/S0960129500000189","volume":"3","author":"S. Abramsky","year":"1993","unstructured":"Abramsky, S. and Vickers, S. (1993). Mathematical Structures in Computer Science 3, 161\u2013227.","journal-title":"Mathematical Structures in Computer Science"},{"key":"3997_CR2","first-page":"554","volume":"71","author":"H. Amira","year":"1998","unstructured":"Amira, H., Coecke, B., and Stubbe, I. (1998). Helvetica Physica Acta 71, 554\u2013572.","journal-title":"Helvetica Physica Acta"},{"key":"3997_CR3","doi-asserted-by":"crossref","first-page":"425","DOI":"10.2989\/16073600009485989","volume":"23","author":"B. Banaschewski","year":"2000a","unstructured":"Banaschewski, B. and Mulvey, C. J. (2000a). Quaestiones Mathematicae 23, 425\u2013464.","journal-title":"Quaestiones Mathematicae"},{"key":"3997_CR4","doi-asserted-by":"crossref","first-page":"465","DOI":"10.2989\/16073600009485990","volume":"23","author":"B. Banaschewski","year":"2000b","unstructured":"Banaschewski, B. and Mulvey, C. J. (2000b). Quaestiones Mathematicae 23, 465\u2013488.","journal-title":"Quaestiones Mathematicae"},{"key":"3997_CR5","unstructured":"Banaschewski, B. and Mulvey, C. J. (To appear). A globalisation of Gelfand duality."},{"key":"3997_CR6","doi-asserted-by":"crossref","first-page":"3269","DOI":"10.1023\/A:1026642501652","volume":"38","author":"B. Coecke","year":"1999","unstructured":"Coecke, B. and Stubbe, I. (1999). International Journal of Theoretical Physics 38, 3269\u20133281.","journal-title":"International Journal of Theoretical Physics"},{"key":"3997_CR7","unstructured":"Connes, A. (1994). Noncommutative Geometry, Academic Press."},{"key":"3997_CR8","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1512\/iumj.1972.21.21008","volume":"21","author":"R. Giles","year":"1971","unstructured":"Giles, R. and Kummer, H. (1971). Indiana University Mathematics Journal 21, 91\u2013102.","journal-title":"Indiana University Mathematics Journal"},{"key":"3997_CR9","volume-title":"Tilings and Patterns","author":"B. Gr\u00fcmbaum","year":"1989","unstructured":"Gr\u00fcmbaum, B. and Shepard, G. C. (1989). Tilings and Patterns, Freeman, New York."},{"key":"3997_CR10","unstructured":"Johnstone, P. (1982). Stone Spaces, Cambridge Studies in Advanced Mathematics, vol. 3, Cambridge University Press."},{"key":"3997_CR11","doi-asserted-by":"crossref","unstructured":"Joyal, A. and Tierney, M. (1984). An Extension of the Galois Theory of Grothendieck, Memoirs of the American Mathematical Society, vol. 309, American Mathematical Society.","DOI":"10.1090\/memo\/0309"},{"key":"3997_CR12","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1023\/A:1013381225141","volume":"10","author":"D. Kruml","year":"2002","unstructured":"Kruml, D. (2002). Applied Categorical Structures 10, 49\u201362.","journal-title":"Applied Categorical Structures"},{"key":"3997_CR13","unstructured":"Kruml, D. (2002). Ph.D. Thesis, Masaryk University, Brno."},{"key":"3997_CR14","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1023\/A:1026106305210","volume":"11","author":"D. Kruml","year":"2003","unstructured":"Kruml, D., Pelletier, J. W., Resende, P., and Rosick\u00fd, J. (2003). Applied Categorical Structures 11, 543\u2013560; arXiv:math.OA\/0211345.","journal-title":"Applied Categorical Structures"},{"key":"3997_CR15","unstructured":"Kruml, D. and Resende, P. (2004). Cahiers de Top. et Geom. Diff. Cat. XLV-4, 287\u2013296; arXiv:math.OA\/0404001."},{"issue":"Suppl.","key":"3997_CR16","first-page":"99","volume":"2","author":"C. J. Mulvey","year":"1986","unstructured":"Mulvey, C. J. (1986). Rendiconti del Circolo Matem\u00e1tico di Palermo 2(Suppl.) 99\u2013104.","journal-title":"Rendiconti del Circolo Matem\u00e1tico di Palermo"},{"key":"3997_CR17","unstructured":"Mulvey, C. J. (1989). Quantales, Invited Lecture, Summer Conference on Locales and Topological Groups, Cura\u00e7ao."},{"key":"3997_CR18","unstructured":"Mulvey, C. J. (2002). Quantales. In The Encyclopaedia of Mathematics, M. Hazewinkel, ed., 3rd supplement, Kluwer Academic Publishers, 2002, pp. 312\u2013314."},{"key":"3997_CR19","first-page":"345","volume":"13","author":"C. J. Mulvey","year":"1992","unstructured":"Mulvey, C. J. and Pelletier, J. W. (1992). Canadian Mathematical Society Conference Proceeding 13, 345\u2013360.","journal-title":"Canadian Mathematical Society Conference Proceeding"},{"key":"3997_CR20","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/S0022-4049(00)00059-1","volume":"159","author":"C. J. Mulvey","year":"2001","unstructured":"Mulvey, C. J. and Pelletier, J. W. (2001). Journal of Pure and Applied Algebra 159, 231\u2013295.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"3997_CR21","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/S0022-4049(02)00139-1","volume":"175","author":"C. J. Mulvey","year":"2002","unstructured":"Mulvey, C. J. an Pelletier, J. W. (2002). Journal of Pure and Applied Algebra 175, 289\u2013325.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"3997_CR22","unstructured":"Paseka, J. and Rosick\u00fd, J. (2000). Quantales, In Current Research in Operational Quantum Logic: Algebras, Categories and Languages, B. Coecke, D. Moore, A. Wilce, eds., Fundamental Theories of Physics, vol. 111, Kluwer Academic Publishers, pp. 245\u2013262."},{"key":"3997_CR23","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1006\/jabr.1997.7051","volume":"195","author":"J. W. Pelletier","year":"1997","unstructured":"Pelletier, J. W. and Rosick\u00fd, J. (1997). Journal of Algebra 195, 367\u2013386.","journal-title":"Journal of Algebra"},{"key":"3997_CR24","doi-asserted-by":"crossref","unstructured":"Pisier, G. (2003). Introduction to Operator Space Theory, Cambridge University Press.","DOI":"10.1017\/CBO9781107360235"},{"key":"3997_CR25","doi-asserted-by":"crossref","unstructured":"Resende, P. (1999). Modular specification of concurrent systems with observational logic. In Proceedings of WADT\u201998, Lecture Notes in Computer Science, J.L. Fiadeiro, ed., vol. 1589, Springer, Berlin, pp. 307\u2013321.","DOI":"10.1007\/3-540-48483-3_20"},{"key":"3997_CR26","doi-asserted-by":"crossref","unstructured":"Resende, P. (2000). Quantales and observational semantics. In Current Research in Operational Quantum Logic: Algebras, Categories and Languages, B. Coecke, D. Moore, A. Wilce, eds., Fundamental Theories of Physics, vol. 111, Kluwer Academic Publishers, pp. 263\u2013288.","DOI":"10.1007\/978-94-017-1201-9_11"},{"key":"3997_CR27","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0304-3975(99)00123-1","volume":"254","author":"P. Resende","year":"2001","unstructured":"Resende, P. (2001). Theoretical Computer Science 254, 95\u2013149.","journal-title":"Theoretical Computer Science"},{"key":"3997_CR28","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0022-4049(01)00156-6","volume":"173","author":"P. Resende","year":"2002","unstructured":"Resende, P. (2002). Journal of Pure and Applied Algebra 173, 87\u2013120.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"3997_CR29","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/j.jalgebra.2004.01.020","volume":"276","author":"P. Resende","year":"2004","unstructured":"Resende, P. (2004). Journal of Algebra 276, 143\u2013167; arXiv:math.RA\/0211320.","journal-title":"Journal of Algebra"},{"key":"3997_CR30","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/S0304-3975(02)00702-8","volume":"305","author":"P. Resende","year":"2003","unstructured":"Resende, P. and Vickers, S. J. (2003). Theoretical Computer Science 305, 311\u2013346.","journal-title":"Theoretical Computer Science"}],"container-title":["International Journal of Theoretical Physics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10773-005-3997-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10773-005-3997-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10773-005-3997-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T00:02:50Z","timestamp":1559260970000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10773-005-3997-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":30,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2005,6]]}},"alternative-id":["3997"],"URL":"https:\/\/doi.org\/10.1007\/s10773-005-3997-2","relation":{},"ISSN":["0020-7748","1572-9575"],"issn-type":[{"value":"0020-7748","type":"print"},{"value":"1572-9575","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6]]}}}