{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T07:35:34Z","timestamp":1780472134724,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662488980","type":"print"},{"value":"9783662488997","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48899-7_36","type":"book-chapter","created":{"date-parts":[[2015,11,21]],"date-time":"2015-11-21T03:59:28Z","timestamp":1448078368000},"page":"515-531","source":"Crossref","is-referenced-by-count":3,"title":["Modular Multiset Rewriting"],"prefix":"10.1007","author":[{"given":"Iliano","family":"Cervesato","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Edmund S. L.","family":"Lam","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"key":"36_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/3-540-16492-8_93","volume-title":"Third International Conference on Logic Programming","author":"MN Abdallah","year":"1986","unstructured":"Abdallah, M.N.: Procedures in horn-clause programming. In: Shapiro, E. (ed.) ICLP 1986. LNCS, vol. 225, pp. 433\u2013447. Springer, Heidelberg (1986)"},{"key":"36_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-02846-5_24","volume-title":"Logic Programming","author":"MP Ashley-Rollman","year":"2009","unstructured":"Ashley-Rollman, M.P., Lee, P., Goldstein, S.C., Pillai, P., Campbell, J.D.: A language for large ensembles of independently executing nodes. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 265\u2013280. Springer, Heidelberg (2009)"},{"issue":"1","key":"36_CR3","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36","author":"J-P Ban\u00e2tre","year":"1993","unstructured":"Ban\u00e2tre, J.-P., Le M\u00e9tayer, D.: Programming by multiset transformation. Commun. ACM 36(1), 98\u2013111 (1993)","journal-title":"Commun. ACM"},{"issue":"1","key":"36_CR4","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","volume":"19\u201320","author":"M Bugliesi","year":"1994","unstructured":"Bugliesi, M., Lamma, E., Mello, P.: Modularity in logic programming. J. Logic Program. 19\u201320(1), 443\u2013502 (1994)","journal-title":"J. Logic Program."},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"Cervesato, I., Lam, E.S.: Modular multiset rewriting in focused linear logic. In: Technical ReportCMU-CS-15-117, Carnegie Mellon University, Pittsburgh, PA (2015)","DOI":"10.1007\/978-3-662-48899-7_36"},{"issue":"10","key":"36_CR6","doi-asserted-by":"publisher","first-page":"1044","DOI":"10.1016\/j.ic.2008.11.006","volume":"207","author":"I Cervesato","year":"2009","unstructured":"Cervesato, I., Scedrov, A.: Relating state-based and process-based concurrency through linear logic. Inf. Comput. 207(10), 1044\u20131077 (2009)","journal-title":"Inf. Comput."},{"key":"36_CR7","unstructured":"Cruz, F., Ashley-Rollman, M., Goldstein, S., Rocha, R., Pfenning, F.: Bottom-up logic programming for multicores. In: DAMP 2012 (2012)"},{"key":"36_CR8","doi-asserted-by":"crossref","unstructured":"Cruz, F., Rocha, R., Goldstein, S., Pfenning, F.: A linear logic programming language for concurrent programming over graph structures. In: ICLP 2014, Vienna, Austria (2014)","DOI":"10.1017\/S1471068414000167"},{"key":"36_CR9","unstructured":"Fournet, C.: The join-calculus: a calculus for distributed mobile programming. Ph.D thesis, \u00c9cole Polytechnique, Palaiseau (1998)"},{"key":"36_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511609886","volume-title":"Constraint Handling Rules","author":"T Fr\u00fchwirth","year":"2009","unstructured":"Fr\u00fchwirth, T.: Constraint Handling Rules. Cambridge University Press, Cambridge (2009)"},{"issue":"4","key":"36_CR11","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1093\/logcom\/exm064","volume":"18","author":"MJ Gabbay","year":"2008","unstructured":"Gabbay, M.J., Mathijssen, A.: One-and-a-halfth-order Logic. J. Logic Comput. 18(4), 521\u2013562 (2008)","journal-title":"J. Logic Comput."},{"issue":"2","key":"36_CR12","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H Gallaire","year":"1984","unstructured":"Gallaire, H., Minker, J., Nicolas, J.M.: Logic and databases: a deductive approach. ACM Comput. Surv. 16(2), 153\u2013185 (1984)","journal-title":"ACM Comput. Surv."},{"key":"36_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theor. Comput. Sci. 50, 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"36_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-11503-5_9","volume-title":"Practical Aspects of Declarative Languages","author":"S Grumbach","year":"2010","unstructured":"Grumbach, S., Wang, F.: Netlog, a rule-based language for distributed programming. In: Carro, M., Pe\u00f1a, R. (eds.) PADL 2010. LNCS, vol. 5937, pp. 88\u2013103. Springer, Heidelberg (2010)"},{"key":"36_CR15","series-title":"Lecture Notes in Computer Science","first-page":"51","volume-title":"Coordination Models and Languages","author":"ESL Lam","year":"2015","unstructured":"Lam, E.S.L., Cervesato, I., Fatima, N.: Comingle: distributed logic programming for decentralized mobile ensembles. In: Holvoet, T., Viroli, M. (eds.) Coordination Models and Languages. LNCS, vol. 9037, pp. 51\u201366. Springer, Heidelberg (2015)"},{"issue":"2\u20133","key":"36_CR16","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/j.apal.2004.11.002","volume":"134","author":"O Laurent","year":"2005","unstructured":"Laurent, O., Quatrini, M., Tortora de Falco, L.: Polarized and focalized linear and classical proofs. Ann.Pure Appl. Logic 134(2\u20133), 217\u2013264 (2005)","journal-title":"Ann.Pure Appl. Logic"},{"key":"36_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-540-27815-3_29","volume-title":"Algebraic Methodology and Software Technology","author":"J Meseguer","year":"2004","unstructured":"Meseguer, J., Braga, C.O.: Modular rewriting semantics of programming languages. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol. 3116, pp. 364\u2013378. Springer, Heidelberg (2004)"},{"key":"36_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/3-540-58025-5_58","volume-title":"Extensions of Logic Programming","author":"D Miller","year":"1994","unstructured":"Miller, D.: A proposal for modules in $$\\lambda $$ prolog. In: Dyckhoff, R. (ed.) ELP 1993. LNCS, vol. 798, pp. 206\u2013221. Springer, Heidelberg (1994)"},{"key":"36_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML - Revised","author":"R Milner","year":"1997","unstructured":"Milner, R., Harper, R., MacQueen, D., Tofte, M.: The Definition of Standard ML - Revised. MIT Press, Cambridge (1997)"},{"key":"36_CR20","volume-title":"The Pi-Calculus - a Theory of Mobile Processes","author":"D Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus - a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"issue":"3","key":"36_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2629678","volume":"15","author":"RJ Simmons","year":"2014","unstructured":"Simmons, R.J.: Structural focalization. ACM Trans. Comput. Logic 15(3), 1\u201333 (2014)","journal-title":"ACM Trans. Comput. Logic"},{"key":"36_CR22","doi-asserted-by":"crossref","unstructured":"Watkins, K., Pfenning, F., Walker, D., Cervesato, I.: Specifying properties of concurrent computations in CLF. In: LFM 2004, pp. 67\u201387. ENTCS 199, Cork, Ireland (2007)","DOI":"10.1016\/j.entcs.2007.11.013"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48899-7_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,26]],"date-time":"2022-05-26T19:24:19Z","timestamp":1653593059000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48899-7_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662488980","9783662488997"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48899-7_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}