{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:46Z","timestamp":1725663706349},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540524946"},{"type":"electronic","value":"9783540469988"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52494-0_26","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:32:53Z","timestamp":1330187573000},"page":"77-104","source":"Crossref","is-referenced-by-count":3,"title":["Descriptive and analytical process algebras"],"prefix":"10.1007","author":[{"given":"Ludmila A.","family":"Cherkasova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vadim E.","family":"Kotov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"4_CR1","unstructured":"Petri C.A. Non-sequential processes. \u2014 ISF-Report-77.05, St.Augustin: Gesellschaft fur Mathematik und Datenverarbeitung, 1971, 31 p."},{"key":"4_CR2","unstructured":"Petri C.A. Concurrency as a basis for system thinking. ISP-Report 78.06, St.Augustin:Gesellschaft fur Mathematik und Datenverarbeitung, 1978, 20 p."},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/3-540-10001-6_27","volume":"84","author":"E. Best","year":"1980","unstructured":"Best E. The relative strength of K-density. \u2014 Lecture Notes in Computer Science, Springer Verlag, Berlin, v. 84, 1980, p. 261\u2013276.","journal-title":"Lecture Notes in Computer Science"},{"issue":"1","key":"4_CR4","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V.R. Pratt","year":"1987","unstructured":"Pratt V.R. Modelling Concurrency with Partial Orders. \u2014 International Journal of Parallel Programming, v. 15, No 1, 1987, p. 33\u201371.","journal-title":"International Journal of Parallel Programming"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/BFb0022474","volume":"70","author":"M. Nielsen","year":"1979","unstructured":"Nielsen M., Plotkin G., Winskel G. Petri Nets, Event Structures and Domains. \u2014 Lecture Notes in Computer Science, Springer-Verlag, Berlin, v. 70, 1979, p. 266\u2013284.","journal-title":"Lecture Notes in Computer Science"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/3-540-15204-0_17","volume":"188","author":"V.E. Kotov","year":"1984","unstructured":"Kotov V.E., Cherkasova L.A. On structural properties of generalized processes. \u2014 Lecture Notes on Computer Science, v. 188, Springer Verlag, Berlin, 1984, p. 288\u2013306.","journal-title":"Lecture Notes on Computer Science"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/3-540-08921-7_55","volume":"64","author":"V.E. Kotov","year":"1978","unstructured":"Kotov V.E. An algebra for parallelism Based on Petri Nets. \u2014 Lecture Notes in Computer Science, Springer-Verlag, Berlin, v. 64, 1978, p. 39\u201355.","journal-title":"Lecture Notes in Computer Science"},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-3-642-72822-8_18","volume-title":"Concurrency and Nets","author":"V.E. Kotov","year":"1987","unstructured":"Kotov V.E., Cherkasova L.A. From Nets to Logic and Back in Specification of Process. \u2014 Concurrency and Nets. Springer-Verlag, Berlin, 1987, p. 253\u2013268."},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/3-540-18740-5_52","volume":"278","author":"V.E. Kotov","year":"1987","unstructured":"Kotov, V.E., Cherkasova L.A. On generalized process logic. \u2014 Lecture Notes in Computer Science, v. 278, Springer-Verlag, p. 246\u2013250, 1987.","journal-title":"Lecture Notes in Computer Science"},{"key":"4_CR10","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, Springer-Verlag, Berlin, v. 92, 1980."},{"key":"4_CR11","unstructured":"Hoare C.A.R. Communicating sequential processes. \u2014 Prentice Hall International, 1985."},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00266047","volume":"12","author":"P.E. Lauer","year":"1979","unstructured":"Lauer P.E., Torrigiani P.R., Shields M.W. COSY \u2014 A System Specification Language Based on Paths and Processes. Acta Informatica, vol. 12, p. 109\u2013158, 1979.","journal-title":"Acta Informatica"},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-13345-3_18","volume":"172","author":"U. Goltz","year":"1984","unstructured":"Goltz U., Mycroft A. On the relationship of CCS and Petri Nets. Lectures Notes in Computer Science, Springer-Verlag, v. 172, p. 196\u2013208, 1984.","journal-title":"Lectures Notes in Computer Science, Springer-Verlag"},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-18419-8_13","volume":"280","author":"P. Degano","year":"1987","unstructured":"Degano P., De Nicola R., Montanari U. CCS is an (Augmented) Contact-Free C\/E Systems. Lecture Notes in Computer Science, Springer-Verlag, v. 280, p. 144\u2013165, 1987.","journal-title":"Lecture Notes in Computer Science, Springer-Verlag"},{"key":"4_CR15","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/3-540-17906-2_34","volume":"255","author":"E.R. Olderog","year":"1987","unstructured":"Olderog E.R. TCSP: Theory of Communicating Sequential Processes. Lecture Notes in Computer Science, Springer-Verlag, v. 255, p. 441\u2013465, 1987.","journal-title":"Lecture Notes in Computer Science, Springer-Verlag"},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes S.D., Hoare C.A.R., Rosque A.W. A theory of communicating sequential processes. J. ACM, v. 31, 1984, p. 560\u2013599.","journal-title":"J. ACM"},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"Milner R. Fully abstract models of typed-calculi. Theoretical Computer Science, v. 4, 1977, p. 1\u201322.","journal-title":"Theoretical Computer Science"},{"key":"4_CR18","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-09526-8_8","volume":"74","author":"M. Hennessy","year":"1979","unstructured":"Hennessy M., Plotkin G.D. Full abstraction for a simple programming language. Lecture Notes in Computer Science, v. 74, 1979, p. 108\u2013120.","journal-title":"Lecture Notes in Computer Science"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Genrich H., Lautenbach K., Thiagarajan P.S. Elements of General Net Theory. Lecture Notes in Computer Science, v. 84, p. 21\u2013164.","DOI":"10.1007\/3-540-10001-6_22"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1989"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52494-0_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:24:13Z","timestamp":1605630253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52494-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540524946","9783540469988"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-52494-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}