{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:13:11Z","timestamp":1725549191608},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642120312"},{"type":"electronic","value":"9783642120329"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12032-9_11","type":"book-chapter","created":{"date-parts":[[2010,3,7]],"date-time":"2010-03-07T20:07:56Z","timestamp":1267992476000},"page":"146-160","source":"Crossref","is-referenced-by-count":4,"title":["On the Relationship between Spatial Logics and Behavioral Simulations"],"prefix":"10.1007","author":[{"given":"Lucia","family":"Acciai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Boreale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Acciai, L., Boreale, M., Zavattaro, G.: On the relationship between spatial logics and behavioral simulations. Tech. rep. (2010), http:\/\/rap.dsi.unifi.it\/~acciai","DOI":"10.1007\/978-3-642-12032-9_11"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-02930-1_3","volume-title":"Automata, Languages and Programming","author":"L. Acciai","year":"2009","unstructured":"Acciai, L., Boreale, M.: Deciding safety properties in infinite-state pi-calculus via behavioural types. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009. LNCS, vol.\u00a05556, pp. 31\u201342. Springer, Heidelberg (2009)"},{"key":"11_CR3","volume-title":"Synchronization and linearity","author":"F. Baccelli","year":"1992","unstructured":"Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.P.: Synchronization and linearity. Wiley, Chichester (1992)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/978-3-540-27836-8_28","volume-title":"Automata, Languages and Programming","author":"N. Busi","year":"2004","unstructured":"Busi, N., Gabbrielli, M., Zavattaro, G.: Comparing Recursion, Replication, and Iteration in Process Calculi. In: D\u00edaz, J., Karhum\u00e4ki, J., Lepist\u00f6, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol.\u00a03142, pp. 307\u2013319. Springer, Heidelberg (2004)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/978-3-540-24727-2_7","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Caires","year":"2004","unstructured":"Caires, L.: Behavioural and Spatial Observations in a Logic for the pi-Calculus. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 72\u201389. Springer, Heidelberg (2004)"},{"issue":"3","key":"11_CR6","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/j.tcs.2003.10.041","volume":"322","author":"L. Caires","year":"2004","unstructured":"Caires, L., Cardelli, L.: A spatial logic for concurrency (part II). Theor. Comput. Sci.\u00a0322(3), 517\u2013565 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/S0890-5401(03)00137-8","volume":"186","author":"L. Caires","year":"2003","unstructured":"Caires, L., Cardelli, L.: A spatial logic for concurrency (part I). Inf. Comput.\u00a0186(2), 194\u2013235 (2003)","journal-title":"Inf. Comput."},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-28644-8_16","volume-title":"CONCUR 2004 - Concurrency Theory","author":"L. Caires","year":"2004","unstructured":"Caires, L., Lozes, E.: Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 240\u2013257. Springer, Heidelberg (2004)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Anytime, Anywhere: Modal Logics for Mobile Ambients. In: Proc. of POPL, pp. 365\u2013377 (2000)","DOI":"10.1145\/325694.325742"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"413","DOI":"10.2307\/2370405","volume":"35","author":"L.E. Dickson","year":"1913","unstructured":"Dickson, L.E.: Finiteness of the odd perfect and primitive abundant numbers with r distinct prime factors. Amer. Journal Math\u00a035, 413\u2013422 (1913)","journal-title":"Amer. Journal Math"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BFb0055044","volume-title":"Automata, Languages and Programming","author":"E.C. Dufourd","year":"1998","unstructured":"Dufourd, E.C., Finkel, A., Schn\u00f6ebelen, P.: Reset Nets Between Decidability and Undecidability. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 103\u2013115. Springer, Heidelberg (1998)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Esparza, J., Finkel, A., Meyr, R.: On the Verification of Broadcast Protocols. In: Proc. of LICS, pp. 352\u2013359 (1999)","DOI":"10.1109\/LICS.1999.782630"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BFb0017477","volume-title":"Trees in Algebra and Programming - CAAP \u201994","author":"J. Esparza","year":"1994","unstructured":"Esparza, J.: On the Decidability of Model Checking for Several \u03bc-calculi and Petri Nets. In: Tison, S. (ed.) CAAP 1994. LNCS, vol.\u00a0787, pp. 115\u2013129. Springer, Heidelberg (1994)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Finkel, A., Goubault-Larrecq, J.: Forward Analysis for WSTS, Part I: Completions. In: Proc. of STACS, Dagstuhl Seminar Proceedings 09001, pp. 433\u2013444 (2009)","DOI":"10.1007\/978-3-642-02930-1_16"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-02930-1_16","volume-title":"Automata, Languages and Programming","author":"A. Finkel","year":"2009","unstructured":"Finkel, A., Goubault-Larrecq, J.: Forward Analysis for WSTS, Part II: Complete WSTS. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009. LNCS, vol.\u00a05556, pp. 188\u2013199. Springer, Heidelberg (2009)"},{"issue":"1-2","key":"11_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2004.01.005","volume":"195","author":"A. Finkel","year":"2004","unstructured":"Finkel, A., McKenzie, P., Picaronny, C.: A Well-Structured Framework for Analysing Petri Net Extensions. Information and Computation\u00a0195(1-2), 1\u201329 (2004)","journal-title":"Information and Computation"},{"issue":"1-2","key":"11_CR17","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0304-3975(00)00102-X","volume":"256","author":"A. Finkel","year":"2001","unstructured":"Finkel, A., Schn\u00f6ebelen, P.: Well-Structured Transition Systems Everywhere! Theoretical Computer Science\u00a0256(1-2), 63\u201392 (2001)","journal-title":"Theoretical Computer Science"},{"key":"11_CR18","unstructured":"Hack, M.H.T.: Decidability questions for Petri nets. Ph.D Thesis. MIT (1976)"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/3-540-10003-2_79","volume-title":"Automata, Languages and Programming","author":"M. Hennessy","year":"1980","unstructured":"Hennessy, M., Milner, R.: On Observing Nondeterminism and Concurrency. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 299\u2013309. Springer, Heidelberg (1980)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Hirschkoff, D., Lozes, E., Sangiorgi, D.: Separability, Expressiveness, and Decidability in the Ambient Logic. In: Proc. of LICS, pp. 423\u2013432 (2002)","DOI":"10.1109\/LICS.2002.1029850"},{"key":"11_CR21","series-title":"Monographs in Theoretical Computer Science, EATCS Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69959-7","volume-title":"Semirings, Automata, Languages","author":"W. Kuich","year":"1986","unstructured":"Kuich, W., Salomaa, A.: Semirings, Automata, Languages. Monographs in Theoretical Computer Science, EATCS Series, vol.\u00a05. Springer, Heidelberg (1986)"},{"key":"11_CR22","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"11_CR23","volume-title":"Computation: Finite and Infinite Machines","author":"M. Minsky","year":"1967","unstructured":"Minsky, M.: Computation: Finite and Infinite Machines, 1st edn. Prentice-Hall, Inc., Englewood Cliffs (1967)","edition":"1"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D.: Extensionality and Intensionality of the Ambient Logics. In: Proc. of POPL, pp. 4\u201313 (2001)","DOI":"10.1145\/360204.375707"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Simon, I.: Limited subset of a Free Monoid. In: Proc. of FOCS, pp. 143\u2013150 (1978)","DOI":"10.1109\/SFCS.1978.21"},{"key":"11_CR26","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/BF00289715","volume":"21","author":"R. Valk","year":"1985","unstructured":"Valk, R., Jantzen, M.: The residue of vector sets with applications to decidability problems in Petri nets. Acta Informatica\u00a021, 643\u2013674 (1985)","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12032-9_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:46:58Z","timestamp":1606168018000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12032-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642120312","9783642120329"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12032-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}