{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:16Z","timestamp":1725663136328},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100010"},{"type":"electronic","value":"9783540393221"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10001-6_27","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:58:50Z","timestamp":1330189130000},"page":"261-276","source":"Crossref","is-referenced-by-count":10,"title":["The relative strength of K-density"],"prefix":"10.1007","author":[{"given":"E.","family":"Best","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"unstructured":"Best, E.: A Theorem on the Characteristics of Non-Sequential Processes. TR\/116, Computing Laboratory, University of Newcastle upon Tyne, November 1977. Also to appear in Fundamenta Informaticae.","key":"7_CR1"},{"unstructured":"Best, E.: Atomicity of Activities. In this volume.","key":"7_CR2"},{"unstructured":"Best, E.: Notes on Predicate Transformers and Concurrent Programs. TR\/145, Computing Laboratory, University of Newcastle upon Tyne, 1979 (to appear).","key":"7_CR3"},{"unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall 1976.","key":"7_CR4"},{"unstructured":"Hewitt, C. and Baker, H.: Actors and Continuous Functionals. In: Formal Description of Programming Concepts (ed. E. Neuhold), North Holland 1978.","key":"7_CR5"},{"unstructured":"Holt, A.W. et al.: Final Report of the Project on Information Systems Theory. Applied Data Research ADR6606, and USAF \u2014 Rome Air Development Centre, RADC-TR-68-305, 1968.","key":"7_CR6"},{"unstructured":"Knuth, D.E.: The Art of Computer Programming, Vol.1: Fundamental Algorithms. Addison-Wesley Publishing Company, second edition 1973.","key":"7_CR7"},{"key":"7_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02308-2","volume-title":"Basic Set Theory","author":"E. Levy","year":"1979","unstructured":"Levy, E.: Basic Set Theory. Springer Verlag, Berlin-Heidelberg-New York, 1979."},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Semantics of Concurrent Computation","author":"M. Nielsen","year":"1979","unstructured":"Nielsen, M., Plotkin, G. and Winskel, G.: Petri Nets, Event Structures and Domains. In: Semantics of Concurrent Computation, Lecture Notes in Computer Science 70, Springer Verlag, Berlin 1979."},{"doi-asserted-by":"crossref","unstructured":"Ore, O.: Theory of Graphs. American Mathematical Society, Colloquium Publications, Vol. XXXVIII, Rhode Island 1962.","key":"7_CR10","DOI":"10.1090\/coll\/038"},{"unstructured":"Petri, C.A.: Non-Sequential Processes. GMD-ISF Report ISF-77-05, Bonn, June 1977.","key":"7_CR11"},{"unstructured":"Petri, C.A.: Introduction to General Net Theory. In this volume.","key":"7_CR12"},{"unstructured":"Petri, C.A.: Concurrency. In this volume.","key":"7_CR13"},{"unstructured":"Scott, D. and Strachey, C.: Towards a Mathematical Semantics for Computer Languages. Oxford University Computing Laboratory, August 1971.","key":"7_CR14"},{"issue":"3","key":"7_CR15","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"15","author":"D. Scott","year":"1976","unstructured":"Scott, D.: Data Types as Lattices. SIAM Computing, Vol. 15, No. 3, September 1976, pp. 522\u2013587.","journal-title":"SIAM Computing"},{"key":"7_CR16","first-page":"209","volume":"15","author":"M. Wand","year":"1977","unstructured":"Wand, M.: A Characterisation of Weakest Preconditions. JCSS 15, 1977, pp. 209\u2013212.","journal-title":"JCSS"}],"container-title":["Lecture Notes in Computer Science","Net Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10001-6_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:32:58Z","timestamp":1619555578000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10001-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100010","9783540393221"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-10001-6_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}