乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T05:51:30Z","timestamp":1676008290407},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,3,17]],"date-time":"2011-03-17T00:00:00Z","timestamp":1300320000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1007\/s10817-011-9224-3","type":"journal-article","created":{"date-parts":[[2011,3,16]],"date-time":"2011-03-16T11:07:23Z","timestamp":1300273643000},"page":"161-183","source":"Crossref","is-referenced-by-count":9,"title":["A Presheaf Environment for the Explicit Fusion Calculus"],"prefix":"10.1007","volume":"49","author":[{"given":"Filippo","family":"Bonchi","sequence":"first","affiliation":[]},{"given":"Maria Grazia","family":"Buscemi","sequence":"additional","affiliation":[]},{"given":"Vincenzo","family":"Ciancia","sequence":"additional","affiliation":[]},{"given":"Fabio","family":"Gadducci","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,3,17]]},"reference":[{"key":"9224_CR1","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Buscemi, M.G., Ciancia, V., Gadducci, F.: A category of explicit fusions. In: Concurrency, Graphs and Models. Lect. Notes in Comput. Sci., vol. 5065, pp. 544\u2013562. Springer (2008)","DOI":"10.1007\/978-3-540-68679-8_34"},{"key":"9224_CR2","unstructured":"Bonchi, F., K\u00f6nig, B., Montanari, U.: Saturated semantics for reactive systems. In: Procs. of LICS, pp. 69\u201380. IEEE Computer Society (2006)"},{"key":"9224_CR3","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Montanari, U.: Coalgebraic models for reactive systems. In: Procs. of CONCUR. Lect. Notes in Comput. Sci., vol. 4701, pp. 364\u2013380. Springer (2007)","DOI":"10.1007\/978-3-540-74407-8_25"},{"key":"9224_CR4","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Montanari, U.: Symbolic semantics revisited. In: Procs. of FOSSACS. Lect. Notes in Comput. Sci., vol. 4962, pp. 395\u2013412. Springer (2008)","DOI":"10.1007\/978-3-540-78499-9_28"},{"key":"9224_CR5","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Montanari, U.: Coalgebraic symbolic semantics. In: Procs. of CALCO. Lect. Notes in Comput. Sci., vol. 5728, pp. 173\u2013190. Springer (2009)","DOI":"10.1007\/978-3-642-03741-2_13"},{"key":"9224_CR6","doi-asserted-by":"crossref","unstructured":"Boreale, M., Buscemi, M.G., Montanari, U.: D-fusion: A distinctive fusion calculus. In: Procs. of APLAS. Lect. Notes in Comput. Sci., vol. 3302, pp. 296\u2013310. Springer (2004)","DOI":"10.1007\/978-3-540-30477-7_20"},{"issue":"1\u20132","key":"9224_CR7","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/S0304-3975(97)00125-4","volume":"198","author":"M Boreale","year":"1998","unstructured":"Boreale, M., Sangiorgi, D.: Some congruence properties for \u03c0-calculus bisimilarities. Theor. Comp. Sci. 198(1\u20132), 159\u2013176 (1998)","journal-title":"Theor. Comp. Sci."},{"key":"9224_CR8","doi-asserted-by":"crossref","unstructured":"Buscemi, M.G., Montanari, U.: Cc-pi: A constraint-based language for specifying service level agreements. In: Procs. of ESOP. Lect. Notes in Comput. Sci., vol. 4421, pp. 18\u201332. Springer (2007)","DOI":"10.1007\/978-3-540-71316-6_3"},{"key":"9224_CR9","doi-asserted-by":"crossref","unstructured":"Ciancia, V., Kurz, A., Montanari, U.: Families of symmetries for the semantics of programming languages. In: Procs. of CMCS. Elect. Notes in Th. Comput. Sci., vol. 264.2, pp. 63\u201381. Elsevier (2010)","DOI":"10.1016\/j.entcs.2010.07.014"},{"issue":"12","key":"9224_CR10","doi-asserted-by":"crossref","first-page":"1349","DOI":"10.1016\/j.ic.2009.10.007","volume":"208","author":"V Ciancia","year":"2010","unstructured":"Ciancia, V., Montanari, U.: Symmetries, local names and dynamic (de)-allocation of names. Inf. Comput. 208(12), 1349\u20131367 (2010)","journal-title":"Inf. Comput."},{"issue":"1\u20132","key":"9224_CR11","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/S0304-3975(01)00025-1","volume":"280","author":"A Corradini","year":"2002","unstructured":"Corradini, A., Heckel, R., Montanari, U.: Compositional SOS and beyond: a coalgebraic view of open systems. Theor. Comp. Sci. 280(1\u20132), 163\u2013192 (2002)","journal-title":"Theor. Comp. Sci."},{"key":"9224_CR12","unstructured":"Fiore, M., Plotkin, G., Turi, D.: Abstract syntax and variable binding. In: Procs. of LICS, pp. 193\u2013202. IEEE Computer Society (1999)"},{"issue":"4","key":"9224_CR13","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1016\/j.ic.2005.08.004","volume":"204","author":"M Fiore","year":"2006","unstructured":"Fiore, M., Staton, S.: Comparing operational models of name-passing process calculi. Inf. Comput. 204(4), 524\u2013560 (2006)","journal-title":"Inf. Comput."},{"key":"9224_CR14","unstructured":"Fiore, M., Staton, S.: A congruence rule format for name-passing process calculi from mathematical structural operational semantics. In: Procs. of LICS, pp. 49\u201358. IEEE Computer Society (2006)"},{"issue":"1","key":"9224_CR15","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1006\/inco.2002.2968","volume":"179","author":"MP Fiore","year":"2002","unstructured":"Fiore, M.P., Moggi, E., Sangiorgi, D.: A fully abstract model for the \u03c0-calculus. Inf. Comput. 179(1), 76\u2013117 (2002)","journal-title":"Inf. Comput."},{"key":"9224_CR16","unstructured":"Fiore, M.P., Turi, D.: Semantics of name and value passing. In: Procs. of LICS, pp. 93\u2013104. IEEE Computer Society (2001)"},{"issue":"2\u20133","key":"9224_CR17","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/s10990-006-8749-3","volume":"19","author":"F Gadducci","year":"2006","unstructured":"Gadducci, F., Miculan, M., Montanari, U.: About permutation algebras, (pre)sheaves and named sets. Higher-Order and Symbolic Computation 19(2\u20133), 283\u2013304 (2006)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"9224_CR18","doi-asserted-by":"crossref","unstructured":"Ghani, N., Yemane, K., Victor, B.: Relationally staged computations in calculi of mobile processes. In: Procs. of CMCS. Elect. Notes in Th. Comput. Sci., vol. 106, pp. 105\u2013120. Elsevier (2004)","DOI":"10.1016\/j.entcs.2004.02.027"},{"key":"9224_CR19","unstructured":"Hofmann, M.: Semantical analysis of higher-order abstract syntax. In: Procs. of LICS, pp. 204\u2013213. IEEE Computer Society (1999)"},{"key":"9224_CR20","doi-asserted-by":"crossref","unstructured":"Leifer, J.J., Milner, R.: Deriving bisimulation congruences for reactive systems. In: Procs. of CONCUR. Lect. Notes in Comput. Sci., vol. 1877, pp. 243\u2013258. Springer (2000)","DOI":"10.1007\/3-540-44618-4_19"},{"issue":"1\u20132","key":"9224_CR21","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/j.tcs.2004.07.024","volume":"327","author":"M Lenisa","year":"2004","unstructured":"Lenisa, M., Power, J., Watanabe, H.: Category theory for operational semantics. Theor. Comp. Sci. 327(1\u20132), 135\u2013154 (2004)","journal-title":"Theor. Comp. Sci."},{"key":"9224_CR22","unstructured":"Mac\u00a0Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer (1998)"},{"key":"9224_CR23","doi-asserted-by":"crossref","unstructured":"Miculan, M.: A categorical model of the fusion calculus. In: Procs. of MFPS. Elect. Notes in Th. Comput. Sci., vol. 218, pp. 275\u2013293. Elsevier (2008)","DOI":"10.1016\/j.entcs.2008.10.017"},{"key":"9224_CR24","doi-asserted-by":"crossref","unstructured":"Miculan, M., Yemane, K.: A unifying model of variables and names. In: Procs. of FOSSACS. Lect. Notes in Comput. Sci., vol. 3441, pp. 170\u2013186. Springer (2005)","DOI":"10.1007\/978-3-540-31982-5_11"},{"issue":"1","key":"9224_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I and II. Inf. Comput. 100(1), 1\u201340, 41\u201377 (1992)","journal-title":"Inf. Comput."},{"issue":"1","key":"9224_CR26","doi-asserted-by":"crossref","first-page":"171","DOI":"10.3233\/FI-1992-16206","volume":"16","author":"U Montanari","year":"1992","unstructured":"Montanari, U., Sassone, V.: Dynamic congruence vs. progressing bisimulation for CCS. Fundam. Inform. 16(1), 171\u2013199 (1992)","journal-title":"Fundam. Inform."},{"key":"9224_CR27","unstructured":"Parrow, J., Victor, B.: The fusion calculus: Expressiveness and symmetry in mobile processes. In: Procs. of LICS, pp. 176\u2013185. IEEE Computer Society (1998)"},{"key":"9224_CR28","unstructured":"Plotkin, G.: A Structural Approach to Operational Semantics. Tech. Rep. DAIMI FN-19, Aarhus University, Computer Science Department (1981)"},{"issue":"1","key":"9224_CR29","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"JJMM Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theor. Comp. Sci. 249(1), 3\u201380 (2000)","journal-title":"Theor. Comp. Sci."},{"issue":"1","key":"9224_CR30","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s002360050036","volume":"33","author":"D Sangiorgi","year":"1996","unstructured":"Sangiorgi, D.: A theory of bisimulation for the \u03c0-calculus. Acta Inform. 33(1), 69\u201397 (1996)","journal-title":"Acta Inform."},{"key":"9224_CR31","unstructured":"Scott, D., Strachey, C.: Toward a mathematical semantics for computer languages. In: Programming Research Group Technical Monograph, vol. PRG-6. Oxford University, Computing Laboratory (1971)"},{"key":"9224_CR32","unstructured":"Stark, I.: A fully abstract domain model for the \u03c0-calculus. In: Procs. of LICS, pp. 36\u201342. IEEE Computer Society (1996)"},{"key":"9224_CR33","doi-asserted-by":"crossref","unstructured":"Staton, S.: Relating coalgebraic notions of bisimulation. In: Procs. of CALCO. Lect. Notes in Comput. Sci., vol. 5728, pp. 191\u2013205. Springer (2009)","DOI":"10.1007\/978-3-642-03741-2_14"},{"issue":"2\u20133","key":"9224_CR34","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/s10990-006-8750-x","volume":"19","author":"M Tanaka","year":"2006","unstructured":"Tanaka, M., Power, J.: Pseudo-distributive laws and axiomatics for variable binding. Higher-Order and Symbolic Computation 19(2\u20133), 305\u2013337 (2006)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"9224_CR35","unstructured":"Turi, D., Plotkin, G.D.: Towards a mathematical operational semantics. In: Procs. of LICS, pp. 280\u2013291. IEEE Computer Society (1997)"},{"key":"9224_CR36","doi-asserted-by":"crossref","unstructured":"Wischik, L., Gardner, P.: Strong bisimulation for the explicit fusion calculus. In: Procs. of FOSSACS. Lect. Notes in Comput. Sci., vol. 2987, pp. 484\u2013498. Springer (2004)","DOI":"10.1007\/978-3-540-24727-2_34"},{"issue":"3","key":"9224_CR37","doi-asserted-by":"crossref","first-page":"606","DOI":"10.1016\/j.tcs.2005.03.017","volume":"340","author":"L Wischik","year":"2005","unstructured":"Wischik, L., Gardner, P.: Explicit fusions. Theor. Comp. Sci. 340(3), 606\u2013630 (2005)","journal-title":"Theor. Comp. Sci."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-011-9224-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-011-9224-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-011-9224-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,20]],"date-time":"2021-11-20T11:05:34Z","timestamp":1637406334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-011-9224-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,17]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["9224"],"URL":"https:\/\/doi.org\/10.1007\/s10817-011-9224-3","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,17]]}}}