{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:08Z","timestamp":1725663188195},"publisher-location":"Berlin, Heidelberg","reference-count":9,"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_9","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:17:45Z","timestamp":1330193865000},"page":"139-153","source":"Crossref","is-referenced-by-count":1,"title":["A lattice theoretic view of K-density"],"prefix":"10.1007","author":[{"given":"C.","family":"Fern\u00e1ndez","sequence":"first","affiliation":[]},{"given":"P. S.","family":"Thiagarajan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"9_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. Fundamenta Informaticae, Vol. 3, (1980), 77\u201394.","journal-title":"Fundamenta Informaticae"},{"key":"9_CR2","unstructured":"E. Best and A. Merceron, Some Properties of Non-sequential Processes. GMD-ISF report 82.07, Schlo\u03b2 Birlinghoven, 5205 St. Augustin W. Germany (1982)."},{"key":"9_CR3","unstructured":"C. Fernandez and P.S. Thiagarajan, D-continuous Causal Nets: A Model of Non-sequential Processes. GMD-ISF report 82.05, Schlo\u03b2 Birlinghoven, 5205 St. Augustin W. Germany (1982). Also to appear in TCS."},{"key":"9_CR4","series-title":"Final Report","volume-title":"Information System Theory Project","author":"A. W. Holt","year":"1968","unstructured":"A.W. Holt et al., Information System Theory Project. Final Report, RADC-TR-G8-305, Applied Data Research Inc., Princeton, New Jersey, USA (1968)."},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielson","year":"1981","unstructured":"M. Nielson, G. Plotkin and G. Winskel, Petri Nets, Event Structures and Domains, Part I, Theoretical Computer Science 13 (1981), 85\u2013108.","journal-title":"Theoretical Computer Science"},{"key":"9_CR6","volume-title":"Non-sequential Processes, Interner Bericht ISF-77-5","author":"C. A. Petri","year":"1977","unstructured":"C.A. Petri, Non-sequential Processes, Interner Bericht ISF-77-5, GMD, Schlo\u03b2 Birlinghoven, 5205 St. Augustin, W. Germany (1977)."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"C.A. Petri, Concurrency. Lecture Notes in Computer Science, Ed. W. Brauer, Vol. 84, 251\u2013260, Springer Verlag (1980).","DOI":"10.1007\/3-540-10001-6_26"},{"key":"9_CR8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0304-3975(80)90004-3","volume":"12","author":"J. Winkowski","year":"1980","unstructured":"J. Winkowski, Behaviours of Concurrent Systems, Theoretical Computer Science 12 (1980), 39\u201360.","journal-title":"Theoretical Computer Science"},{"key":"9_CR9","volume-title":"Events in Computation","author":"G. Winskel","year":"1980","unstructured":"G. Winskel, Events in Computation, Ph.D. Thesis, University of Edinburgh, Edinburgh, Great Britain (1980)."}],"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_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:34:15Z","timestamp":1640914455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15204-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540152040","9783540393207"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-15204-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}