{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:49:23Z","timestamp":1725486563868},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429128"},{"type":"electronic","value":"9783540456278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45627-9_30","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T11:57:04Z","timestamp":1181649424000},"page":"336-345","source":"Crossref","is-referenced-by-count":0,"title":["Software Geography: Physical and Economic Aspects"],"prefix":"10.1007","author":[{"given":"Vaughan R.","family":"Pratt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,10,24]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"G. Blelloch and J. Greiner. Parallelism in sequential functional languages. In Proc. Symposium on Functional Programming and Computer Architecture, pages 226\u2013237, June 1995.","DOI":"10.1145\/224164.224210"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"H. Devarajan, D. Hughes, G. Plotkin, and V. Pratt. Full completeness of the multiplicative linear logic of Chu spaces. In Proc. 14th Annual IEEE Symp. on Logic in Computer Science, pages 234\u2013243, Trento, Italy, July 1999.","DOI":"10.1109\/LICS.1999.782619"},{"key":"30_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1007\/BFb0055632","volume-title":"Detecting deadlocks in concurrent systems","author":"L. Fajstrup","year":"1998","unstructured":"L. Fajstrup, E. Goubault, and M. Raussen. Detecting deadlocks in concurrent systems. In Proc. of CONCUR\u201998, volume 1466 of Lecture Notes in Computer Science, pages 332\u2013347. Springer-Verlag, 1998."},{"key":"30_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"30_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1007\/BFb0084796","volume-title":"Homology of higher dimensional automata","author":"E. Goubault","year":"1992","unstructured":"E. Goubault and T.P. Jensen. Homology of higher dimensional automata. In Proc. of CONCUR\u201992, volume 630 of Lecture Notes in Computer Science, pages 254\u2013268, Stonybrook, New York, August 1992. Springer-Verlag."},{"key":"30_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/TEC.1960.5221600","volume":"EC-9","author":"E. Goto","year":"1960","unstructured":"E. Goto et al. Esaki diode high speed logical circuits. IRE Trans. Elec. Comp., EC-9:25\u201329, 1960.","journal-title":"IRE Trans. Elec. Comp."},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"E. (editor) Goubault. Geometry and concurrency. Mathematical Structures in Computer Science, special issue, 10(4):409\u2013573 (7 papers), August 2000.","DOI":"10.1017\/S0960129500003133"},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"L. Grover. Quantum mechanics helps in searching for a needle in a haystack. Physical Review Letters, 79(2), 1997.","DOI":"10.1103\/PhysRevLett.79.325"},{"key":"30_CR9","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0031-9163(62)91369-0","volume":"1","author":"B. Josephson","year":"1962","unstructured":"B. Josephson. Possible new effects in superconductive tunnelling. Physics Letters, 1:251\u2013253, 1962.","journal-title":"Physics Letters"},{"key":"30_CR10","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. Plotkin, and G. Winskel. Petri nets, event structures, and domains, part I. Theoretical Computer Science, 13:85\u2013108, 1981.","journal-title":"Theoretical Computer Science"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"V.R. Pratt. Modeling concurrency with geometry. In Proc. 18th Ann. ACM Symposium on Principles of Programming Languages, pages 311\u2013322, January 1991.","DOI":"10.1145\/99583.99625"},{"key":"30_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1007\/BFb0015256","volume-title":"Computer Science Today: Recent Trends and Developments","author":"V.R. Pratt","year":"1995","unstructured":"V.R. Pratt. Chu spaces and their interpretation as concurrent objects. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, volume 1000 of Lecture Notes in Computer Science, pages 392\u2013405. Springer-Verlag, 1995."},{"key":"30_CR13","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1017\/S0960129500003169","volume":"10","author":"V.R. Pratt","year":"2000","unstructured":"V.R. Pratt. Higher dimensional automata revisited. Math. Structures in Comp. Sci., 10:525\u2013548, 2000.","journal-title":"Math. Structures in Comp. Sci."},{"key":"30_CR14","unstructured":"J. Rose and G. Steele. C*: An extended c language for data parallel programming. In Proceedings Second International Conference on Supercomputing, volume 2, pages 2\u201316, May 1987."},{"key":"30_CR15","doi-asserted-by":"publisher","first-page":"1484","DOI":"10.1137\/S0097539795293172","volume":"26","author":"P. Shor","year":"1997","unstructured":"P. Shor. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Computing, 26:1484\u20131509, 1997.","journal-title":"SIAM J. Computing"},{"issue":"6","key":"30_CR16","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1103\/PhysRevLett.45.494","volume":"45","author":"K. Klitzing von","year":"1980","unstructured":"K. von Klitzing, G. Dorda, and M. Pepper. New method for high-accuracy determination of the fine-structure constant based on quantized hall resistance. Physical Review Letters, 45(6):494\u2013497, 1980.","journal-title":"Physical Review Letters"},{"key":"30_CR17","unstructured":"G. Winskel. Events in Computation. PhD thesis, Dept. of Computer Science, University of Edinburgh, 1980."},{"key":"30_CR18","series-title":"Lect Notes Comput Sci","volume-title":"An introduction to event structures","author":"G. Winskel","year":"1988","unstructured":"G. Winskel. An introduction to event structures. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, REX\u201988, volume 354 of Lecture Notes in Computer Science, Noordwijkerhout, June 1988. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2001: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45627-9_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T22:01:44Z","timestamp":1556488904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45627-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429128","9783540456278"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45627-9_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}