{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:32:38Z","timestamp":1742635958866},"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_20","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:16:59Z","timestamp":1330193819000},"page":"353-375","source":"Crossref","is-referenced-by-count":23,"title":["Semantics of concurrent systems: A modular fixed-point trace approach"],"prefix":"10.1007","author":[{"given":"A.","family":"Mazurkiewicz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"unstructured":"Aalbersberg, IJ.J., Rozenberg, G.: Trace Theory \u2014 a Survey, Technical Report, Inst. of Appl. Math. and Comp. Sci., University of Leiden, 1984.","key":"20_CR1"},{"doi-asserted-by":"crossref","unstructured":"Genrich, H.J., Lautenbach, K., Thiagarajan, P.S.: Elements of General Net Theory, LNCS 84, 1980.","key":"20_CR2","DOI":"10.1007\/3-540-10001-6_22"},{"unstructured":"Gy\u00f6ry, G., Knuth, E., Romai, L.: Grammatical Projections, Working Paper of Comp. and Automation Institute, Hungarian Academy of Sciences, 1979.","key":"20_CR3"},{"doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes, CACM 21\/8, 1978.","key":"20_CR4","DOI":"10.1145\/359576.359585"},{"doi-asserted-by":"crossref","unstructured":"Lauer, P.E., Shields, M.W., Best, E.: Design and Analysis of Highly Parallel and Distributed Systems, LNCS 86, 1979.","key":"20_CR5","DOI":"10.1007\/3-540-10007-5_46"},{"key":"20_CR6","first-page":"141","volume":"36","author":"F. W. Levi","year":"1944","unstructured":"Levi, F.W.: On semigroups, Bulletin of the Calcutta Mathematical Society, 36, pp.141\u2013146, 1944.","journal-title":"On semigroups, Bulletin of the Calcutta Mathematical Society"},{"doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.: Concurrent Program Schemes and Their Interpretations, DAIMI Report PB \u2014 78, Aarhus University, 1977.","key":"20_CR7","DOI":"10.7146\/dpb.v6i78.7691"},{"doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems, LNCS 92, 1980.","key":"20_CR8","DOI":"10.1007\/3-540-10235-3"},{"unstructured":"Petri, C.A.: Nonsequential Processes, ISF Report 77.05, St.Augustin, GMD Bonn, 1975.","key":"20_CR9"}],"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_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:16Z","timestamp":1605643696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15204-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540152040","9783540393207"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-15204-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}