{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T03:28:46Z","timestamp":1648870126598},"reference-count":18,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T00:00:00Z","timestamp":1185926400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2007,8]]},"abstract":"<jats:p>This paper introduces projective systems for topological and probabilistic event structures. The projective formalism is used for studying the domain of configurations of a prime event structure and its space of maximal elements. This is done from both a topological and a probabilistic viewpoint. We give probability measure extension theorems in this framework.<\/jats:p>","DOI":"10.1017\/s096012950700607x","type":"journal-article","created":{"date-parts":[[2007,8,2]],"date-time":"2007-08-02T09:34:17Z","timestamp":1186047257000},"page":"819-837","source":"Crossref","is-referenced-by-count":3,"title":["A projective formalism applied to topological and probabilistic event structures"],"prefix":"10.1017","volume":"17","author":[{"given":"SAMY","family":"ABBES","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2007,8,1]]},"reference":[{"key":"S096012950700607X_ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.topol.2004.02.019"},{"key":"S096012950700607X_ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00342-4"},{"key":"S096012950700607X_ref16","unstructured":"Norberg T. and Vervaat W. (1997) Capacities on non-Haussdorff spaces. In: Vervaat W. and Holwerda H. (eds.) Probability and lattices. CWI Tracts 110"},{"key":"S096012950700607X_ref15","first-page":"86","article-title":"Petri nets, event structures and domains, part 1","volume":"13","author":"Nielsen","year":"1980","journal-title":"Theoretical Computer Science"},{"key":"S096012950700607X_ref10","unstructured":"Kahn G. and Plotkin G. (1978) Domaines concrets. Rapport de recherches 336, INRIA."},{"key":"S096012950700607X_ref9","volume-title":"Logic in Computer Science","author":"Jones","year":"1989"},{"key":"S096012950700607X_ref4","doi-asserted-by":"crossref","unstructured":"Birkhoff G. (1940) Lattice Theory (third edition 1967), Publications of AMS.","DOI":"10.1090\/coll\/025"},{"key":"S096012950700607X_ref7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725"},{"key":"S096012950700607X_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(90)90061-2"},{"key":"S096012950700607X_ref14","first-page":"204","volume-title":"Mathematik Arbeitspapiere","volume":"27","author":"Lawson","year":"1982"},{"key":"S096012950700607X_ref17","volume-title":"Radon Measures on Arbitrary Topological Spaces and Cylindrical Measures","author":"Schwartz","year":"1973"},{"key":"S096012950700607X_ref8","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1948-0028922-8"},{"key":"S096012950700607X_ref5","unstructured":"Bourbaki N. (1961) Topologie G\u00e9n\u00e9rale, Chapitre i, \u00e9l\u00e9ments de math\u00e9matiques, fascicule ii, Hermann."},{"key":"S096012950700607X_ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.10.001"},{"key":"S096012950700607X_ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.07.047"},{"key":"S096012950700607X_ref3","doi-asserted-by":"publisher","DOI":"10.1112\/S0024610700008681"},{"key":"S096012950700607X_ref6","unstructured":"Bourbaki N. (1969) Int\u00e9gration, Chapitre ix , \u00e9l\u00e9ments de math\u00e9matiques, fascicule xxxv, Hermann."},{"key":"S096012950700607X_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28644-8_31"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S096012950700607X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T13:55:07Z","timestamp":1556718907000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S096012950700607X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,8]]}},"alternative-id":["S096012950700607X"],"URL":"https:\/\/doi.org\/10.1017\/s096012950700607x","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,8]]}}}