{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:30Z","timestamp":1725558630582},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203032"},{"type":"electronic","value":"9783540396567"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39656-7_13","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T14:35:52Z","timestamp":1277822152000},"page":"319-338","source":"Crossref","is-referenced-by-count":6,"title":["From Co-algebraic Specifications to Implementation: The Mihda Toolkit"],"prefix":"10.1007","author":[{"given":"Gianluigi","family":"Ferrari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Raggi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emilio","family":"Tuosto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/3-540-47797-7_3","volume-title":"Algebraic and Coalgebraic Methods in the Mathematics of Program Construction","author":"P. Aczel","year":"2002","unstructured":"Aczel, P.: Algebras and coalgebras. In: Blackhouse, R., Crole, R.L., Gibbons, J. (eds.) Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. LNCS, vol.\u00a02297, pp. 79\u201388. Springer, Heidelberg (2002); Revised Lectures of the Int. Summer School and Workshop"},{"issue":"4","key":"13_CR2","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E.M. Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Computing Surveys\u00a028(4), 626\u2013643 (1996)","journal-title":"ACM Computing Surveys"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/0167-6423(90)90071-K","volume":"13","author":"J.C. Fernandez","year":"1990","unstructured":"Fernandez, J.C.: An implementation of an efficient algorithm for bisimulation equivalence. Science of Computer Programming\u00a013, 219\u2013236 (1990)","journal-title":"Science of Computer Programming"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-45931-6_10","volume-title":"Foundations of Software Science and Computation Structures","author":"G. Ferrari","year":"2002","unstructured":"Ferrari, G., Montanari, U., Pistore, M.: Minimizing transition systems for name passing calculi: A co-algebraic formulation. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 129\u2013143. Springer, Heidelberg (2002)"},{"key":"13_CR5","volume-title":"14th Annual Symposium on Logic in Computer Science","author":"M. Fiore","year":"1999","unstructured":"Fiore, M., Plotkin, G.G., Turi, D.: Abstract syntax and variable binding. In: 14th Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"13_CR6","volume-title":"14th Annual Symposium on Logic in Computer Science","author":"M.J. Gabbay","year":"1999","unstructured":"Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax involving binders. In: 14th Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"13_CR7","first-page":"222","volume":"62","author":"B. Jacobs","year":"1996","unstructured":"Jacobs, B., Rutten, J.: A tutorial on (co)algebras and (co)induction. Bulletin of the EATCS\u00a062, 222\u2013259 (1996)","journal-title":"Bulletin of the EATCS"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P.C. Kanellakis","year":"1990","unstructured":"Kanellakis, P.C., Smolka, S.A.: Ccs expressions, finite state processes and three problem of equivalence. Information and Computation\u00a086(1), 272\u2013302 (1990)","journal-title":"Information and Computation"},{"key":"13_CR9","volume-title":"Commuticating and Mobile Systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Commuticating and Mobile Systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"1","key":"13_CR10","doi-asserted-by":"publisher","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. Information and Computation\u00a0100(1), 1\u201340, 41\u201377 (1992)","journal-title":"Information and Computation"},{"key":"13_CR11","unstructured":"Montanari, U., Pistore, M.: History dependent automata. Technical report, Computer Science Department, Universit\u00e0 di Pisa, TR-11-98 (1998)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/3-540-44612-5_52","volume-title":"Mathematical Foundations of Computer Science 2000","author":"U. Montanari","year":"2000","unstructured":"Montanari, U., Pistore, M.: \u03c0-calculus, structured coalgebras and minimal hd-automata. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol.\u00a01893, p. 569. Springer, Heidelberg (2000)"},{"issue":"5","key":"13_CR13","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/BF01211473","volume":"4","author":"F. Orava","year":"1992","unstructured":"Orava, F., Parrow, J.: An algebraic verification of a mobile network. Formal Aspects of Computing\u00a04(5), 497\u2013543 (1992)","journal-title":"Formal Aspects of Computing"},{"key":"13_CR14","unstructured":"Pistore, M.: History dependent automata. PhD thesis, Computer Science Department, Universit\u00e0 di Pisa (1999)"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722010_15","volume-title":"Mathematics of Program Construction","author":"A.M. Pitts","year":"2000","unstructured":"Pitts, A.M., Gabbay, M.J.: A metalanguage for programming with bound names modulo renaming. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol.\u00a01837. Springer, Heidelberg (2000)"},{"key":"13_CR16","volume-title":"The \u03c0-calculus: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2002","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2002)"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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 \u2014 a tool for the \u03c0- calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 428\u2013440. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39656-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T01:23:38Z","timestamp":1552613018000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39656-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203032","9783540396567"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39656-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}