{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:51Z","timestamp":1725663291726},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540505808"},{"type":"electronic","value":"9783540460596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50580-6_35","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:27:38Z","timestamp":1330201658000},"page":"307-330","source":"Crossref","is-referenced-by-count":8,"title":["Compositional semantics of pure place\/transition systems"],"prefix":"10.1007","author":[{"given":"Antoni","family":"Mazurkiewicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"15_CR1","unstructured":"Best,E.: Concurrent Behaviour: Sequences, Processes and Axioms, Lecture Notes in Comp. Sci. 197, Proc. of Carnegie \u2014 Mellon Seminar on Concurrency, 1984, Springer Verlag (1985) 221\u2013245"},{"key":"15_CR2","unstructured":"Gischer,J.: Partial Orders and the Axiomatic Theory of Shuffle,Ph.D. Thesis, Computer Science Dept., Stanford University, (preprint) (1984)"},{"issue":"1","key":"15_CR3","first-page":"427","volume":"4","author":"J. Grabowski","year":"1981","unstructured":"Grabowski, J.: On Partial Languages, Humboldt-Univ., Berlin, DDR, Sektion Math., Preprint Nr. 40.79, 1979 (also: Fund. Inform. Vol.4, No.1 (1981) 427\u2013498","journal-title":"Fund. Inform."},{"key":"15_CR4","unstructured":"Mazurkiewicz,A.: Concurrent Program Schemes and Their Interpretations, Aarhus University, Comp. Sci. Dept., Preprint DAIMI PB-78, (1977)"},{"key":"15_CR5","unstructured":"Mazurkiewicz,A.: Traces, Histories, Graphs: Instances of a Process Monoid, Lecture Notes in Comp.Sci., vol.176: Proc. of Symp. Mathematical Foundations of Comp.Sci. 1984, Prague, Springer Verlag (1984) 115\u2013133"},{"key":"15_CR6","unstructured":"Mazurkiewicz,A.: Semantics of Concurrent Systems: A Modular Fixed \u2014 Point Trace Approach, University of Leiden, Rep. no. 84\u201319, 1984 (also: Lecture Notes in Comp. Sci. vol 188: Advances in Petri Nets 1984, Rozenberg,G., (ed.), Springer-Verlag (1985) 353\u2013375"},{"key":"15_CR7","unstructured":"Petri,C.A.: Concepts of Net Theory, Mathematical Foundations of Comp. Sci. 1973: Proceedings of Symposium and Summer School, High Tatras (1973)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Pratt,V.R.: The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial, Proc. CMU\/SERC Workshop on Logics of Programs, Pitsburgh (1984)","DOI":"10.1007\/3-540-15670-4_9"},{"key":"15_CR9","unstructured":"Reisig,W.: Petri Nets, EATCS Monographs on Theoretical Computer Science, Vol.4, Springer Publ. Comp. (1985)"},{"key":"15_CR10","unstructured":"Winkowski,J.: Event Structure Representation of the Behaviour of Place \/ Transition Systems, to appear as preprint Inst. of Comp. Sci. of Polish Academy of Sciences, ICS PAS Rep.623 (1988)"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1988"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50580-6_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:32Z","timestamp":1605647912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50580-6_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540505808","9783540460596"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-50580-6_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}