{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:16Z","timestamp":1725663616519},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556138"},{"type":"electronic","value":"9783540472605"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55613-3_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:27:23Z","timestamp":1330252043000},"page":"141-162","source":"Crossref","is-referenced-by-count":4,"title":["Trace semantics for actor systems"],"prefix":"10.1007","author":[{"given":"Vasco","family":"Vasconcelos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Tokoro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(88)90051-5","volume":"60","author":"J. Aalbersg","year":"1988","unstructured":"J. Aalbersg and G. Rozenberg. Theory of traces. Theoretical Computer Science, 60:1\u201382, 1988.","journal-title":"Theoretical Computer Science"},{"key":"7_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A model of concurrent computation in distributed systems","author":"G. Agha","year":"1986","unstructured":"Gul Agha. Actors: A model of concurrent computation in distributed systems. The MIT Press, Cambridge, MA, 1986."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"G\u00e9rard Boudol and Ilaria Castellani. Three equivalent semantics for CCS. In Semantics of Systems of Concurrent Processes, Lecture Notes in Computer Science 469, pages 96\u2013141, Springer-Verlag, April 1990.","DOI":"10.1007\/3-540-53479-2_5"},{"key":"7_CR4","volume-title":"AI-TR 633","author":"W. Clinger","year":"1981","unstructured":"William Clinger. Foundations of actor semantics. AI-TR 633, M.I.T. A.I. Laboratory, Cambridge, MA, May 1981."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Volker Diekert. Combinatorics on traces. Volume 454 of Lecture Notes in Computer Science, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-53031-2"},{"key":"7_CR6","unstructured":"Carl Hewitt and Henry Baker. Laws for communicating parallel processes. In IFIP, pages 987\u2013992, August 1977."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Antoni Mazurkiewicz. Basic notions of trace theory. In Linear time, Branching Time and Partial Orders in Logics and Models for Concurrency, Lecture Notes in Computer Science 354, pages 285\u2013363, Springer-Verlag, May 1988.","DOI":"10.1007\/BFb0013025"},{"key":"7_CR8","volume-title":"DAIMI Rept. PB 78","author":"A. Mazurkiewicz","year":"1977","unstructured":"Antoni Mazurkiewicz. Concurrent program schemes and their interpretation. DAIMI Rept. PB 78, Aarhus University, Aarhus, 1977."},{"key":"7_CR9","volume-title":"SRI-CSL 91-05","author":"J. Meseguer","year":"1991","unstructured":"Jos\u00e9 Meseguer. Conditional rewriting logic as a unified model of concurrency. SRI-CSL 91-05, SRI-International, Menlo Park, CA, February 1991."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer. A logical theory of concurrent objects. In OOPSLA\/ECOOP, pages 101\u2013115, ACM Press, October 1990.","DOI":"10.1145\/97946.97958"},{"key":"7_CR11","unstructured":"Robin Milner. Communication and concurrency. C.A.R. Hoare Series Editor, Prentice-Hall Int., 1989."},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. Plotkin, and G. Winskel. Petri nets, event structures and domains. Theoretical Computer Science, 13:85\u2013108, 1981.","journal-title":"Theoretical Computer Science"},{"key":"7_CR13","volume-title":"GMD-ISF 77-S, Gesselschaft Math.","author":"C. A. Petri","year":"1977","unstructured":"C. A. Petri. Non-sequential processes. GMD-ISF 77-S, Gesselschaft Math., Datenverarb., St. Augustin, 1977."},{"key":"7_CR14","unstructured":"Gordon Plotkin. A structural approach to operational semantics. Daimi FN 91, Aarhus University, 1981."},{"issue":"1","key":"7_CR15","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"Vaughan Pratt. Modeling concurrency with partial orders. International Journal of Parallel Programming, 15(1):33\u201371, 1986.","journal-title":"International Journal of Parallel Programming"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Vasco T. Vasconcelos. Trace semantics for concurrent objects. February 1992. To appear as a technical report, Dep. of Computer Science, Keio University.","DOI":"10.1007\/3-540-55613-3_7"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"G. Winskel. An introduction to event structures. In Linear time, Branching Time and Partial Orders in Logics and Models for Concurrency, Lecture Notes in Computer Science 354, pages 364\u2013397, Springer-Verlag, May 1988.","DOI":"10.1007\/BFb0013026"}],"container-title":["Lecture Notes in Computer Science","Object-Based Concurrent Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55613-3_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:33:46Z","timestamp":1619573626000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55613-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556138","9783540472605"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-55613-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}