{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:47Z","timestamp":1725662867852},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540071686"},{"type":"electronic","value":"9783540375029"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1973]]},"DOI":"10.1007\/3-540-07168-7_76","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:51:50Z","timestamp":1330185110000},"page":"111-127","source":"Crossref","is-referenced-by-count":6,"title":["Concurrency in software systems"],"prefix":"10.1007","author":[{"given":"Jack B.","family":"Dennis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"7_CR1","series-title":"Supplement 1 to Technical Report","volume-title":"Communication With Automata","author":"C. A. Petri","year":"1966","unstructured":"C. A. Petri, Communication With Automata. Supplement 1 to Technical Report RADC-TR-65-377, Vol. 1, Griffiss Air Force Base, New York 1966. [Originally published in German: Kommunikation mit Automaten, University of Bonn, 1962.]"},{"key":"7_CR2","first-page":"3","volume-title":"Events and conditions","author":"A. W. Holt","year":"1970","unstructured":"A. W. Holt and F. Commoner, Events and conditions. Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, ACM, New York 1970, pp 3\u201352."},{"key":"7_CR3","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"A. W. Holt","year":"1971","unstructured":"A. W. Holt, F. Commoner, S. Even, and A. Pnueli, Marked directed graphs. J. of Computer and System Sciences, Vol. 5 (1971), pp 511\u2013523.","journal-title":"J. of Computer and System Sciences"},{"key":"7_CR4","first-page":"107","volume-title":"Closure properties of interconnections of determinate systems","author":"S. S. Patil","year":"1970","unstructured":"S. S. Patil, Closure properties of interconnections of determinate systems. Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, ACM, New York 1970, pp 107\u2013116."},{"key":"7_CR5","volume-title":"Programming Languages","author":"E. W. Dijkstra","year":"1968","unstructured":"E. W. Dijkstra, Co-operating sequential processes. Programming Languages, F. Genuys, Ed., Academic Press, New York 1968. [First published as Report EWD 123, Department of Mathematics, Technological University, Eindhoven, The Netherlands, 1965.]"}],"container-title":["Lecture Notes in Computer Science","Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07168-7_76.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:45:45Z","timestamp":1619556345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07168-7_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1973]]},"ISBN":["9783540071686","9783540375029"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-07168-7_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1973]]}}}