{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:50:07Z","timestamp":1725670207933},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642287558"},{"type":"electronic","value":"9783642287565"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28756-5_35","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:57:15Z","timestamp":1332449835000},"page":"485-491","source":"Crossref","is-referenced-by-count":4,"title":["SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications"],"prefix":"10.1007","author":[{"given":"Lu\u00eds","family":"Caires","sequence":"first","affiliation":[]},{"given":"Hugo Torres","family":"Vieira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","unstructured":"FET Profundis Project, http:\/\/www.it.uu.se\/profundis\/"},{"key":"35_CR2","unstructured":"IP Sensoria Project, http:\/\/www.sensoria-ist.eu\/"},{"key":"35_CR3","unstructured":"Spatial Logic Model Checker, http:\/\/ctp.di.fct.unl.pt\/SLMC\/"},{"key":"35_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.: Behavioral and Spatial Observations in a Logic for the \u03c0-Calculus. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 72\u201389. Springer, Heidelberg (2004)"},{"key":"35_CR5","unstructured":"Caires, L.: Dynamical Spatial logics: A Tutorial Survey. Bulletin of the EATCS (2008)"},{"issue":"2","key":"35_CR6","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). Information and Computation\u00a0186(2), 194\u2013235 (2003)","journal-title":"Information and Computation"},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.: Anytime, Anywhere: Modal Logics for Mobile Ambients. In: Proceedings of POPL 2000, pp. 365\u2013377. ACM Press (2000)","DOI":"10.1145\/325694.325742"},{"key":"35_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BFb0056478","volume-title":"Distributed Computing","author":"M.J. Demmer","year":"1998","unstructured":"Demmer, M.J., Herlihy, M.P.: The Arrow Distributed Directory Protocol. In: Kutten, S. (ed.) DISC 1998. LNCS, vol.\u00a01499, pp. 119\u2013133. Springer, Heidelberg (1998)"},{"issue":"1-2","key":"35_CR9","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(97)00179-5","volume":"211","author":"J. Engelfriet","year":"1999","unstructured":"Engelfriet, J., Gelsema, T.: Multisets and Structural Congruence of the \u03c0-Calculus with Replication. Theor. Comput. Sci.\u00a0211(1-2), 311\u2013337 (1999)","journal-title":"Theor. Comput. Sci."},{"issue":"3-5","key":"35_CR10","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s001650200016","volume":"13","author":"M. Gabbay","year":"2002","unstructured":"Gabbay, M., Pitts, A.: A New Approach to Abstract Syntax with Variable Binding. Formal Aspects of Computing\u00a013(3-5), 341\u2013363 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"35_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-642-14295-6_19","volume-title":"Computer Aided Verification","author":"R. Meyer","year":"2010","unstructured":"Meyer, R., Strazny, T.: Petruchio: From Dynamic Networks to Nets. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 175\u2013179. Springer, Heidelberg (2010)"},{"key":"35_CR12","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-Calculus. CUP (1999)"},{"issue":"4","key":"35_CR13","doi-asserted-by":"publisher","first-page":"6477","DOI":"10.4249\/scholarpedia.6477","volume":"3","author":"C. Petri","year":"2008","unstructured":"Petri, C., Reisig, W.: Petri net. Scholarpedia\u00a03(4), 6477 (2008)","journal-title":"Scholarpedia"},{"key":"35_CR14","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-Calculus: A Theory of Mobile Processes. CUP (2001)"},{"key":"35_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/3-540-58179-0_73","volume-title":"Computer Aided Verification","author":"B. Victor","year":"1994","unstructured":"Victor, B., Moller, F.: The Mobility Workbench - A Tool for the \u03c0-Calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 428\u2013440. Springer, Heidelberg (1994)"},{"key":"35_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-78739-6_21","volume-title":"Programming Languages and Systems","author":"H.T. Vieira","year":"2008","unstructured":"Vieira, H.T., Caires, L., Seco, J.C.: The Conversation Calculus: A Model of Service-Oriented Computation. In: Gairing, M. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 269\u2013283. Springer, Heidelberg (2008)"},{"key":"35_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","year":"2011","unstructured":"Wirsing, M., H\u00f6lzl, M. (eds.): SENSORIA. LNCS, vol.\u00a06582. Springer, Heidelberg (2011)"},{"issue":"1","key":"35_CR18","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/s10009-003-0136-3","volume":"6","author":"P. Yang","year":"2004","unstructured":"Yang, P., Ramakrishnan, C., Smolka, S.: A Logical Encoding of the \u03c0-Calculus: Model-Checking Mobile Processes Using Tabled Resolution. STTT\u00a06(1), 38\u201366 (2004)","journal-title":"STTT"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28756-5_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:02:53Z","timestamp":1606186973000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28756-5_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642287558","9783642287565"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28756-5_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}