{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T11:54:25Z","timestamp":1746186865376},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319255262"},{"type":"electronic","value":"9783319255279"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25527-9_8","type":"book-chapter","created":{"date-parts":[[2015,10,7]],"date-time":"2015-10-07T07:08:43Z","timestamp":1444201723000},"page":"86-102","source":"Crossref","is-referenced-by-count":2,"title":["Asynchronous Traces and Open Petri Nets"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Filippo","family":"Bonchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Gadducci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giacoma V.","family":"Monreale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,20]]},"reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S0304-3975(97)00223-5","volume":"195","author":"R Amadio","year":"1998","unstructured":"Amadio, R., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous \n                    \n                      \n                    \n                    $$\\pi $$\n                  -calculus. Theoret. Comput. Sci. 195(2), 291\u2013324 (1998)","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.scico.2014.11.019","volume":"109","author":"P Baldan","year":"2015","unstructured":"Baldan, P., Bonchi, F., Gadducci, F., Monreale, G.: Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. 109, 96\u2013124 (2015)","journal-title":"Sci. Comput. Program."},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-662-43376-8_1","volume-title":"Coordination Models and Languages","author":"P Baldan","year":"2014","unstructured":"Baldan, P., Bonchi, F., Gadducci, F., Monreale, G.V.: Encoding synchronous interactions using labelled Petri nets. In: K\u00fchn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol. 8459, pp. 1\u201316. Springer, Heidelberg (2014)"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129504004311","volume":"15","author":"P Baldan","year":"2004","unstructured":"Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional semantics for open Petri nets based on deterministic processes. Math. Struct. Comput. Sci. 15(1), 1\u201335 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"4","key":"8_CR5","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1017\/S0960129513000108","volume":"25","author":"P Baldan","year":"2015","unstructured":"Baldan, P., Bonchi, F., Gadducci, F., Monreale, G.V.: Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. 25(4), 978\u20131004 (2015)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"4","key":"8_CR6","doi-asserted-by":"publisher","first-page":"35:1","DOI":"10.1145\/2631916","volume":"15","author":"F Bonchi","year":"2014","unstructured":"Bonchi, F., Gadducci, F., Monreale, G.V.: A general theory of barbs, contexts, and labels. ACM Trans. Comput. Logic 15(4), 35:1\u201335:27 (2014)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"2","key":"8_CR7","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1006\/inco.2001.3080","volume":"172","author":"M Boreale","year":"2002","unstructured":"Boreale, M., De Nicola, R., Pugliese, R.: Trace and testing equivalence on asynchronous processes. Inf. Comput. 172(2), 139\u2013164 (2002)","journal-title":"Inf. Comput."},{"issue":"3","key":"8_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-9(3:16)2013","volume":"9","author":"R Bruni","year":"2013","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U., Sobocinski, P.: Connector algebras for C\/E and P\/T nets\u2019 interactions. Log. Methods Comput. Sci. 9(3), 1\u201365 (2013)","journal-title":"Log. Methods Comput. Sci."},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0304-3975(99)00227-3","volume":"240","author":"N Busi","year":"2000","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: Comparing three semantics for Linda-like languages. Theoret. Comput. Sci. 240(1), 49\u201390 (2000)","journal-title":"Theoret. Comput. Sci."},{"issue":"3","key":"8_CR10","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/j.jlap.2008.08.002","volume":"78","author":"N Busi","year":"2009","unstructured":"Busi, N., Gorrieri, R.: Distributed semantics for the \n                    \n                      \n                    \n                    $$\\pi $$\n                  -calculus based on Petri nets with inhibitor arcs. Logic Algebraic Program. 78(3), 138\u2013162 (2009)","journal-title":"Logic Algebraic Program."},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-540-49382-2_9","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"I Castellani","year":"1998","unstructured":"Castellani, I., Hennessy, M.: Testing theories for asynchronous languages. In: Sarukkai, S., Arvind, V. (eds.) FST TCS 1998. LNCS, vol. 1530, pp. 90\u2013102. Springer, Heidelberg (1998)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/3-540-18419-8_13","volume-title":"Mathematical Models for the Semantics of Parallelism","author":"P Degano","year":"1986","unstructured":"Degano, P., De Nicola, R., Montanari, U.: CCS is an (augmented) contact free C\/E system. In: Zilli, M.V. (ed.) Mathematical Models for the Semantics of Parallelism. LNCS, vol. 280, pp. 144\u2013165. Springer, Heidelberg (1986)"},{"issue":"1\/2","key":"8_CR13","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/BF02915446","volume":"26","author":"P Degano","year":"1988","unstructured":"Degano, P., De Nicola, R., Montanari, U.: A distributed operational semantics for CCS based on condition\/event systems. Acta Informatica 26(1\/2), 59\u201391 (1988)","journal-title":"Acta Informatica"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-50580-6_25","volume-title":"Advances in Petri Nets 1988, APN 1998","author":"P Degano","year":"1987","unstructured":"Degano, P., Gorrieri, R., Marchetti, S.: An exercise in concurrency: a CSP process as a condition\/event system. In: Rozenberg, G. (ed.) APN 1998. LNCS, vol. 340, pp. 85\u2013105. Springer, Heidelberg (1987)"},{"issue":"4\u20135","key":"8_CR15","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s00165-008-0079-2","volume":"20","author":"R Devillers","year":"2008","unstructured":"Devillers, R., Klaudel, H., Koutny, M.: A compositional Petri net translation of general \n                    \n                      \n                    \n                    $$\\pi $$\n                  -calculus terms. Formal Aspects Comput. 20(4\u20135), 429\u2013450 (2008)","journal-title":"Formal Aspects Comput."},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/3-540-53479-2_14","volume-title":"Semantics of Systems of Concurrent Processes","author":"U Goltz","year":"1990","unstructured":"Goltz, U.: CCS and Petri nets. In: Guessarian, I. (ed.) Semantics of Systems of Concurrent Processes. LNCS, vol. 469, pp. 334\u2013357. Springer, Heidelberg (1990)"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/BFb0039047","volume-title":"CONCUR \u201990 Theories of Concurrency: Unification and Extension","author":"G Gorrieri","year":"1990","unstructured":"Gorrieri, G., Montanari, U.: SCONE: A simple calculus of nets. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol. 458, pp. 2\u201331. Springer, Heidelberg (1990)"},{"key":"8_CR18","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Upper Saddle River (1985)"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","first-page":"21","volume-title":"ECOOP\u201991 European Conference on Object-Oriented Programming","author":"K Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: An object calculus for asynchronous communication. In: Tokoro, M., Nierstrasz, O., Wegner, P. (eds.) ECOOP 1991. LNCS, vol. 612, pp. 21\u201351. Springer, Heidelberg (1991)"},{"issue":"1\u20132","key":"8_CR20","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/S0304-3975(99)00304-7","volume":"254","author":"L Jenner","year":"2001","unstructured":"Jenner, L., Vogler, W.: Fast asynchronous systems in dense time. Theoret. Comput. Sci. 254(1\u20132), 379\u2013422 (2001)","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-44618-4_19","volume-title":"CONCUR 2000 - Concurrency Theory","author":"JJ Leifer","year":"2000","unstructured":"Leifer, J.J., Milner, R.: Deriving bisimulation congruences for reactive systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, p. 243. Springer, Heidelberg (2000)"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1007\/978-3-540-27755-2_19","volume-title":"Lectures on Concurrency and Petri Nets","author":"R Milner","year":"2004","unstructured":"Milner, R.: Bigraphs for Petri nets. In: Reisig, W., Desel, J., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 686\u2013701. Springer, Heidelberg (2004)"},{"issue":"6","key":"8_CR23","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/BF01178907","volume":"32","author":"U Montanari","year":"1995","unstructured":"Montanari, U., Rossi, F.: Contextual nets. Acta Informatica 32(6), 545\u2013596 (1995)","journal-title":"Acta Informatica"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Sassone, V., Soboci\u0144ski, P.: A congruence for Petri nets. In: Mens, T., Sch\u00fcrr, A., Taentzer, G. (eds.) PNGT 2004. ENTCS, vol. 127, pp. 107\u2013120. Elsevier (2005)","DOI":"10.1016\/j.entcs.2005.02.008"},{"key":"8_CR25","unstructured":"Selinger, P.: Categorical structure of asynchrony. In: Brookes, S., Jung, A., Mislove, M., Scedrov, A. (eds.) MFPS 1999. ENTCS, vol. 20. Elsevier (1999)"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/3-540-12920-0_13","volume-title":"Symposium of Theoretical Aspects of Computer Science-STACS 1984","author":"G Winskel","year":"1984","unstructured":"Winskel, G.: A new definition of morphism on Petri nets. In: Fontet, M., Mehlhorn, K. (eds.) STACS 1984. LNCS, vol. 166, pp. 140\u2013150. Springer, Heidelberg (1984)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages with Applications to Biology and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25527-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T00:24:13Z","timestamp":1559262253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25527-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319255262","9783319255279"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25527-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}