{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:17:50Z","timestamp":1742617070112,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540152040"},{"type":"electronic","value":"9783540393207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15204-0_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:17:28Z","timestamp":1330193848000},"page":"32-47","source":"Crossref","is-referenced-by-count":1,"title":["Concurrency axioms and D-continuous posets"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[]},{"given":"Agathe","family":"Merceron","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/FI-1980-3107","volume":"3","author":"E. Best","year":"1980","unstructured":"E. Best: A Theorem on the Characteristics of Non-sequential Processes. Fundamental Informaticae Vol. 3(1), 77\u201394 (1980).","journal-title":"Fundamental Informaticae"},{"unstructured":"E.Best: Concurrent Behaviour: Sequences, Processes and Axioms. Arbeitspapiere der GMD No.118 (1984), also in Proc. of CMU Workshop on Concurrency (1984).","key":"3_CR2"},{"unstructured":"E.Best and A.Merceron: Some Properties of Non-sequential Processes. GMD-ISF Report 82.07 (1982).","key":"3_CR3"},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BFb0036470","volume":"145","author":"E. Best","year":"1982","unstructured":"E. Best and A. Merceron: Discreteness, K-density and D-continuity of Occurrence Nets. Lecture Notes in Computer Science, Springer Verlag Vol.145, 73\u201383 (1982).","journal-title":"Lecture Notes in Computer Science, Springer Verlag"},{"unstructured":"E. Best and A. Merceron: Concurrency Axioms and D-continuous Posets. 4th Petri Net Workshop, Toulouse (1983).","key":"3_CR5"},{"unstructured":"E.Best and A.Merceron: Frozen Tokens and D-continuity: A Study in Relating System Properties to Process Properties. In this Volume.","key":"3_CR6"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00289593","volume":"16","author":"E. Best","year":"1981","unstructured":"E. Best and B. Randell: A Formal Model of Atomicity in Asynchronous Systems. Acta Informatica Vol.16, 93\u2013124 (1981).","journal-title":"Acta Informatica"},{"doi-asserted-by":"crossref","unstructured":"C.Fern\u00e1ndez, M.Nielsen and P.S.Thiagarajan: A Note on Observable Observable Occurrence Nets. 5th Petri Net Workshop, \u00c5rhus (1984). Also to appear in this Volume.","key":"3_CR8","DOI":"10.1007\/3-540-15204-0_8"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0304-3975(83)90070-1","volume":"28","author":"C. Fern\u00e1ndez","year":"1984","unstructured":"C. Fern\u00e1ndez and P.S. Thiagarajan: D-Continuous Causal Nets: A Model of Non-sequential Processes. TCS Vol.28, 171\u2013196 (1984).","journal-title":"TCS"},{"doi-asserted-by":"crossref","unstructured":"C.Fern\u00e1ndez and P.S.Thiagarajan: A Note D-continuous Causal Nets. 3rd Petri Net Workshop, Varenna (1982).","key":"3_CR10","DOI":"10.1007\/978-3-642-69028-0_7"},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0304-3975(84)90137-3","volume":"30","author":"H. J. Genrich","year":"1984","unstructured":"H.J. Genrich and P.S. Thiagarajan: A Theory of Bipolar Synchronisation Schemes. TCS Vol.30, 241\u2013318 (1984).","journal-title":"TCS"},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1007\/3-540-10001-6_39","volume":"84","author":"H. J. Genrich","year":"1980","unstructured":"H.J. Genrich and E. Stankiewicz-Wiechno: A Dictionary of some Basic Notions of Net Theory. Lecture Notes in Computer Science, Springer Verlag Vol.84, 519\u2013535 (1980).","journal-title":"Lecture Notes in Computer Science, Springer Verlag"},{"unstructured":"W.M.Lu and A.Merceron: The Equivalence between the Well Behaved Bipolar Schemes and the Live and Safe Free Choice Nets without Frozen Tokens. 5th Petri Net Workshop, \u00c5rhus (1984).","key":"3_CR13"},{"key":"3_CR14","doi-asserted-by":"crossref","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. TCS Vol.13, 85\u2013108 (1981).","journal-title":"TCS"},{"unstructured":"C.A.Petri: Non-Sequential Processes. GMD-ISF Report 77.05 (1977).","key":"3_CR15"},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/3-540-10001-6_26","volume":"84","author":"C. A. Petri","year":"1980","unstructured":"C.A. Petri: Concurrency. Lecture Notes in Computer Science, Springer Verlag Vol.84, 251\u2013260 (1980).","journal-title":"Lecture Notes in Computer Science, Springer Verlag"},{"issue":"12","key":"3_CR17","doi-asserted-by":"crossref","first-page":"979","DOI":"10.1007\/BF02084163","volume":"21","author":"C. A. Petri","year":"1982","unstructured":"C.A. Petri: State Transition Structures in Physics and in Computation. International Journal on Theoretical Physics, Vol.21(12), 979\u2013992 (1982).","journal-title":"International Journal on Theoretical Physics"},{"unstructured":"H.Pl\u00fcnnecke: Schnitte in Halbordnungen. GMD-ISF Report 81.09 (1981). Shorter version also to appear in this Volume.","key":"3_CR18"},{"unstructured":"H.Pl\u00fcnnecke: Partial Orders. Arbeitspapiere der GMD No.93 (1984).","key":"3_CR19"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1984"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15204-0_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:21:54Z","timestamp":1742588514000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15204-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540152040","9783540393207"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-15204-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}