{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:21:45Z","timestamp":1751660505229,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_59","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:11:21Z","timestamp":1330258281000},"page":"682-692","source":"Crossref","is-referenced-by-count":12,"title":["Deterministic behavioural models for concurrency"],"prefix":"10.1007","author":[{"given":"Vladimiro","family":"Sassone","sequence":"first","affiliation":[]},{"given":"Mogens","family":"Nielsen","sequence":"additional","affiliation":[]},{"given":"Glynn","family":"Winskel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"59_CR1","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0304-3975(88)90124-7","volume":"n. 61","author":"J. Gischer","year":"1988","unstructured":"J. Gischer. The Equational Theory of Pomsets. Theoretical Computer Science, n. 61, pp. 199\u2013224, 1988.","journal-title":"Theoretical Computer Science"},{"key":"59_CR2","first-page":"428","volume":"n. 4","author":"J. Grabowski","year":"1981","unstructured":"J. Grabowski. On Partial Languages. Fundamenta Informaticae, n. 4, pp. 428\u2013498, 1981.","journal-title":"Fundamenta Informaticae"},{"key":"59_CR3","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Englewood Cliffs, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"59_CR4","doi-asserted-by":"crossref","unstructured":"P.W. Hoogers, H.C.M Kleijn, and P.S. Thiagarajan. A Trace Semantics for Petri Nets. In Proceedings of ICALP '92, LNCS, n. 623, pp. 595\u2013604, Springer Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_107"},{"key":"59_CR5","doi-asserted-by":"crossref","unstructured":"S. MacLane. Categories for the Working Mathematician. GTM, Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"59_CR6","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewioz. Basic Notions of Trace Theory. In lecture notes for the REX summer-school in temporal logic, LNCS, n. 354, pp. 285\u2013363, Springer-Verlag, 1988.","DOI":"10.1007\/BFb0013025"},{"key":"59_CR7","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"n. 13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. Plotkin, and G, Winskel. Petri nets, Event Structures and Domains, part 1. Theoretical Computer Science, n. 13, pp. 85\u2013108, 1981.","journal-title":"Theoretical Computer Science"},{"key":"59_CR8","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"n. 15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt. Modeling Concurrency with Partial Orders. International Journal of Parallel Processing, n. 15, pp. 33\u201371, 1986.","journal-title":"International Journal of Parallel Processing"},{"key":"59_CR9","doi-asserted-by":"crossref","unstructured":"V. Sassone, M. Nielsen, and G. Winskel. A Classification of Models for Concurrency. To appear as Technical Report Daimi, Computer Science Department, Aarhus University, 1993. Extended abstract to appear in Proceedings of CONCUR '93.","DOI":"10.1007\/3-540-57208-2_7"},{"key":"59_CR10","doi-asserted-by":"crossref","unstructured":"V. Sassone, M. Nielsen, and G. Winskel. Deterministic Behavioural Models for Concurrency. To appear as Technical Report Daimi, Computer Science Department, Aarhus University, 1993.","DOI":"10.1007\/3-540-57182-5_59"},{"key":"59_CR11","doi-asserted-by":"crossref","unstructured":"P. Starke. Traces and Semiwords. LNCS, n. 208, pp. 332\u2013349, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-16066-3_28"},{"key":"59_CR12","doi-asserted-by":"crossref","unstructured":"G. Winskel. Event Structures. In Advances in Petri nets, LNCS, n. 255, pp. 325\u2013392, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17906-2_31"},{"key":"59_CR13","doi-asserted-by":"crossref","unstructured":"G. Winskel, and M. Nielsen. Models for Concurrency. To appear in the Handbook of Logic in Computer Science. A draft appears as DAIMI PB 429, 1992.","DOI":"10.7146\/dpb.v21i429.6743"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:00:55Z","timestamp":1742594455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}