{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:38:09Z","timestamp":1759639089069,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390524"},{"type":"electronic","value":"9783642390531"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39053-1_39","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T04:28:12Z","timestamp":1370233692000},"page":"330-339","source":"Crossref","is-referenced-by-count":0,"title":["A Compositional Semantics of Reaction Systems with Restriction"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Pardini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Barbuti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Maggiolo-Schettini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Milazzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Tini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1-4","key":"39_CR1","first-page":"263","volume":"75","author":"A. Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Reaction Systems. Fundam. Inform.\u00a075(1-4), 263\u2013280 (2007)","journal-title":"Fundam. Inform."},{"issue":"7","key":"39_CR2","doi-asserted-by":"publisher","first-page":"1499","DOI":"10.1142\/S0129054111008842","volume":"22","author":"R. Brijder","year":"2011","unstructured":"Brijder, R., Ehrenfeucht, A., Main, M.G., Rozenberg, G.: A Tour of reaction Systems. Int. J. Found. Comput. Sci.\u00a022(7), 1499\u20131517 (2011)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"39_CR3","series-title":"Natural Computing Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing: An Introduction","author":"G. P\u0103un","year":"2002","unstructured":"P\u0103un, G.: Membrane Computing: An Introduction. Natural Computing Series. Springer, GmbH (2002)"},{"issue":"4-5","key":"39_CR4","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1016\/j.tcs.2008.09.043","volume":"410","author":"A. Ehrenfeucht","year":"2009","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Introducing time in reaction systems. Theor. Comput. Sci.\u00a0410(4-5), 310\u2013322 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"39_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-642-20000-7_16","volume-title":"Computation, Cooperation, and Life","author":"R. Brijder","year":"2011","unstructured":"Brijder, R., Ehrenfeucht, A., Rozenberg, G.: Reaction Systems with Duration. In: Kelemen, J., Kelemenov\u00e1, A. (eds.) P\u01ceun Festschrift. LNCS, vol.\u00a06610, pp. 191\u2013202. Springer, Heidelberg (2011)"},{"issue":"1-2","key":"39_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2007.01.008","volume":"376","author":"A. Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Events and modules in reaction systems. Theor. Comput. Sci.\u00a0376(1-2), 3\u201316 (2007)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"39_CR7","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1142\/S0129054111007927","volume":"22","author":"A. Ehrenfeucht","year":"2011","unstructured":"Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Functions Defined by Reaction Systems. Int. J. Found. Comput. Sci.\u00a022(1), 167\u2013178 (2011)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"39_CR8","doi-asserted-by":"crossref","unstructured":"Brijder, R., Ehrenfeucht, A., Rozenberg, G.: Representing reaction systems by trees. In: Dinneen, M.J., Khoussainov, B., Nies, A. (eds.) WTCS 2012 (Calude Festschrift). LNCS, vol.\u00a07160, pp. 330\u2013342. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-27654-5_26"},{"issue":"5","key":"39_CR9","doi-asserted-by":"publisher","first-page":"1173","DOI":"10.1142\/S0129054112500177","volume":"23","author":"A. Ehrenfeucht","year":"2012","unstructured":"Ehrenfeucht, A., Main, M.G., Rozenberg, G., Brown, A.T.: Stability and Chaos in reaction Systems. Int. J. Found. Comput. Sci.\u00a023(5), 1173\u20131184 (2012)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"1","key":"39_CR10","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.tcs.2008.01.028","volume":"395","author":"R. Barbuti","year":"2008","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: Compositional semantics and behavioral equivalences for P Systems. Theor. Comput. Sci.\u00a0395(1), 77\u2013100 (2008)","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"39_CR11","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1016\/j.jlap.2010.03.011","volume":"79","author":"R. Barbuti","year":"2010","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: Compositional semantics of spiking neural P systems. J. Log. Algebr. Program.\u00a079(6), 304\u2013316 (2010)","journal-title":"J. Log. Algebr. Program."},{"issue":"1","key":"39_CR12","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1142\/S0129054111007885","volume":"22","author":"R. Barbuti","year":"2011","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: An Overview on Operational Semantics in Membrane Computing. Int. J. Found. Comput. Sci.\u00a022(1), 119\u2013131 (2011)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"1","key":"39_CR13","first-page":"1","volume":"87","author":"R. Barbuti","year":"2008","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: A P Systems Flat Form Preserving Step-by-step Behaviour. Fundam. Inform.\u00a087(1), 1\u201334 (2008)","journal-title":"Fundam. Inform."},{"key":"39_CR14","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.: The Linear Time\u2013Branching Time Spectrum I; The Semantics of Concrete, Sequential Processes. In: Handbook of Process Algebra, pp. 3\u201399. Elsevier (2001)","DOI":"10.1016\/B978-044482830-9\/50019-9"},{"issue":"0","key":"39_CR15","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.tcs.2011.12.046","volume":"429","author":"G. P\u01ceun","year":"2012","unstructured":"P\u01ceun, G., P\u00e9rez-Jim\u00e9nez, M.J.: Towards bridging two cell-inspired models: P systems and R systems. Theor. Comput. Sci.\u00a0429(0), 258\u2013264 (2012)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","The Nature of Computation. Logic, Algorithms, Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39053-1_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T02:59:56Z","timestamp":1675220396000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39053-1_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390524","9783642390531"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39053-1_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}