{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:47:32Z","timestamp":1764557252336},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540514862"},{"type":"electronic","value":"9783540481768"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51486-4_103","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:59:36Z","timestamp":1330203576000},"page":"577-598","source":"Crossref","is-referenced-by-count":8,"title":["Concurrency, modularity, and synchronization"],"prefix":"10.1007","author":[{"given":"Antoni","family":"Mazurkiewicz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"51_CR1","doi-asserted-by":"crossref","unstructured":"Best,E.: Concurrent behaviour: Sequences, Processes, and Axioms, LNCS 197, Proc. of Carnegie-Mellon Seminar on Concurrency, 1984, Springer Verlag (1985)","DOI":"10.1007\/3-540-15670-4_11"},{"key":"51_CR2","unstructured":"Gischer,J.: Partial Orders and the Axiomatic Theory of Shuffle, Ph.D. Thesis, Comp. Sci. Dept., Stanford University (1984)"},{"key":"51_CR3","doi-asserted-by":"crossref","unstructured":"Goltz,U.,Reisig,W.: The nonsequential Behaviour of Petri Nets, Information and Control 57 (1983)","DOI":"10.1016\/S0019-9958(83)80040-0"},{"key":"51_CR4","doi-asserted-by":"crossref","unstructured":"Grabowski,J.: On partial languages, Fundamenta Informaticae 4 (1981)","DOI":"10.3233\/FI-1981-4210"},{"key":"51_CR5","unstructured":"Gyory,G.,Knuth,E.,Ronyai,L.:Grammatical Projections 1. Elementary Constructions., Working Paper II.3, MTA SZTAKI, Budapest (1979)"},{"key":"51_CR6","doi-asserted-by":"crossref","unstructured":"Hirshfeld,J.,Rabinovich,A.,Trakhtenbrot,B.A.: Discerning Causality in Interleaving Behaviour, Technical Rep.133\/89 Eskenazy Institute of Comp.Sci.,Tel-Aviv University(1989)","DOI":"10.1007\/3-540-51237-3_13"},{"key":"51_CR7","doi-asserted-by":"crossref","unstructured":"Hoare,C.A.R.: Communicating Sequential Processes, Communications of the ACM 21 vol.8 (1978)","DOI":"10.1145\/359576.359585"},{"key":"51_CR8","unstructured":"Kuzak,T.: Ph.D. Dissertation, manuscript, Warsaw, (1988)."},{"key":"51_CR9","unstructured":"Lauer,P.E., Shields,M.W., Best,E.: Formal Theory of the Basic COSY Notation, TR 143, Comp. Lab., University of Newcastle upon Tyne (1978)"},{"key":"51_CR10","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz,A.: Concurrent Program Schemes and Their Interpretations, DAIMI Techn.Rep. of Aarhus University PB-78 (1977)","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"51_CR11","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz,A.: Semantics of Concurrent Systems: A Modular Fixed-Point Trace Approach, LNCS 188 (1985)","DOI":"10.1007\/3-540-15204-0_20"},{"key":"51_CR12","unstructured":"Mazurkiewicz,A.: Compositional Semantics of P\/T Systems, Fundamenta Informaticae XI (1988)"},{"key":"51_CR13","unstructured":"Petri,C.A.: Concepts of Net Theory, Proc. of MFCS'73, High Tatras (1973)"},{"key":"51_CR14","unstructured":"Petri,C.A.: Non-Sequential Processes, GMD Report ISF-77-05 (1977)"},{"key":"51_CR15","unstructured":"Pratt,V.R.: The Pomset Model of Parallel Processes, Proc. CMU\/SERC Workshop on Logic of Programs, Pittsburg, (1984)"},{"key":"51_CR16","doi-asserted-by":"crossref","unstructured":"Reisig,W.: Petri Nets: an Introduction, EATCS Monographs on Comp.Sci., (1985)","DOI":"10.1007\/978-3-642-69968-9"},{"key":"51_CR17","unstructured":"Rosenblum,L., Yakovlev,A., Yakovlev,V.: A Look at Concurrency Semantics through \u2018Lattice Glasses', Bull. of EATCS 37 (1989)"},{"key":"51_CR18","unstructured":"Winskel,G.: Event Structures,LNCS 255 (1986)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1989"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51486-4_103.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T02:55:03Z","timestamp":1640919303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51486-4_103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540514862","9783540481768"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-51486-4_103","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}