{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:48Z","timestamp":1725663228426},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540187400"},{"type":"electronic","value":"9783540481386"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18740-5_52","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:43:58Z","timestamp":1330199038000},"page":"246-250","source":"Crossref","is-referenced-by-count":1,"title":["On generalized process logic"],"prefix":"10.1007","author":[{"given":"V. E.","family":"Kotov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. A.","family":"Cherkasova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"52_CR1","unstructured":"Petri C.A. Non-sequential processes. \u2014 ISF-Report-77.05, St.Augustin: Gesellschaft fur Mathematik und Datenverarbeitunf, 1971, 31 p."},{"key":"52_CR2","series-title":"Lecture Notes in Computer Science","first-page":"288","volume-title":"On structural properties of generalized processes","author":"V.E. Kotov","year":"1984","unstructured":"Kotov V.E., Cherkasova L.A. On structural properties of generalized processes. \u2014 Lecture Notes in Computer Science, 188, Springer-Verlag, Berlin, 1984, p. 288\u2013306."},{"key":"52_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","volume-title":"First-order dynamic logic","author":"D. Harel","year":"1979","unstructured":"Harel D. First-order dynamic logic. \u2014 Lecture Notes in Computer Science, 68, Springer-Verlag, Berlin, 1979."},{"key":"52_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"202","DOI":"10.21236\/ADA116035","volume-title":"Verification of concurrent programs: temporal proof principles","author":"Z. Manna","year":"1981","unstructured":"Manna Z. Pnueli A. Verification of concurrent programs: temporal proof principles. \u2014 Lecture Notes in Computer Science, Springer-Verlag, Berlin, v. 131, 1981, p. 202\u2013252."},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"Pratt V.R. Process logic. \u2014 Proc.ACM Symp.on Principles of Programming Languages, 1979, p. 93\u2013100.","DOI":"10.1145\/567752.567761"},{"key":"52_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus for Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner R. A Calculus for Communicating Systems. \u2014 Lecture Notes in Computer Science, 92, Springer-Verlag, Berlin, 1980, 171 p."},{"key":"52_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-13345-3_7","volume-title":"The algebra of recursively defined processes and the algebra of regular processes","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra J.A., Klop J.W. The algebra of recursively defined processes and the algebra of regular processes. \u2014 Lecture Notes in Computer Science, 172, Springer-Verlag, Berlin, 1984, p. 82\u201394."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18740-5_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:17:46Z","timestamp":1619558266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18740-5_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540187400","9783540481386"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-18740-5_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}