{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T06:10:26Z","timestamp":1737094226045,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008972"},{"type":"electronic","value":"9783540365761"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36576-1_26","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T02:42:17Z","timestamp":1181616137000},"page":"409-424","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Deriving Bisimulation Congruences: 2-Categories Vs Precategories"],"prefix":"10.1007","author":[{"given":"Vladimiro","family":"Sassone","sequence":"first","affiliation":[]},{"given":"Pawe\u0142","family":"Soboci\u015bki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"26_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/3-540-36206-1_8","volume-title":"Foundations of Software Technology and Theoretical Computer Science, FST&TCS 02","author":"M. Bugliesi","year":"2002","unstructured":"M. Bugliesi, S. Crafa, M. Merro, and V. Sassone. Communication interference in mobile boxed ambients. In Foundations of Software Technology and Theoretical Computer Science, FST&TCS 02, volume 2556 of Lecture Notes in Computer Science, pages 71\u201384. Springer, 2002."},{"issue":"2","key":"26_CR2","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0022-4049(93)90035-R","volume":"84","author":"A. Carboni","year":"1993","unstructured":"A. Carboni, S. Lack, and R. F. C. Walters. Introduction to extensive and distributive categories. Journal of Pure and Applied Algebra, 84(2):145\u2013158, February 1993.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"26_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/3-540-36206-1_9","volume-title":"Foundations of Software Technology and Theoretical Computer Science, FST&TCS 02","author":"G. Castagna","year":"2002","unstructured":"G. Castagna and F. Zappa Nardelli. The seal calculus revised. In Foundations of Software Technology and Theoretical Computer Science, FST&TCS 02, volume 2556 of Lecture Notes in Computer Science, pages 85\u201396. Springer, 2002."},{"key":"26_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/3-540-45694-5_19","volume-title":"A calculus of mobile resources","author":"J. C. Godskesen","year":"2002","unstructured":"J. C. Godskesen, T. Hildebrandt, and V. Sassone. A calculus of mobile resources. In Int. Conf. on Concurrency Theory, CONCUR 02, volume 2421 of Lecture Notes in Computer Science, pages 272\u2013287. Springer, 2002."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"M. Hennessy and M. Merro. Bisimulation congruences in safe ambients. In Principles of Programming Languages, POPL 02, pages 71\u201380. ACM Press, 2002.","DOI":"10.1145\/565816.503280"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"O. H. Jensen and R. Milner. Bigraphs and transitions. In Principles of Programming Languages, POPL 03. ACM Press, 2003.","DOI":"10.1145\/604131.604135"},{"key":"26_CR8","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1017\/S0004972700002781","volume":"39","author":"G. M. Kelly","year":"1989","unstructured":"G. M. Kelly. Elementary observations on 2-categorical limits. Bull. Austral. Math. Soc., 39:301\u2013317, 1989.","journal-title":"Bull. Austral. Math. Soc."},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BFb0063101","volume":"420","author":"G. M. Kelly","year":"1974","unstructured":"G. M. Kelly and R. H. Street. Review of the elements of 2-categories. Lecture Notes in Mathematics, 420:75\u2013103, 1974.","journal-title":"Lecture Notes in Mathematics"},{"issue":"5","key":"26_CR10","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F. W. Lawvere","year":"1963","unstructured":"F.W. Lawvere. Functorial semantics of algebraic theories. Proceedings, National Academy of Sciences, 50:869\u2013873, 1963.","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"J. Leifer. Operational congruences for reactive systems. Phd thesis, University of Cambridge, 2001.","DOI":"10.1007\/3-540-44618-4_19"},{"key":"26_CR12","unstructured":"J. Leifer. Synthesising labelled transitions and operational congruences in reactive systems, parts 1 and 2. Technical Report RR-4394 and RR-4395, INRIA Rocquencourt, 2002."},{"key":"26_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/3-540-44618-4_19","volume-title":"Deriving bisimulation congruences for reactive systems","author":"J. Leifer","year":"2000","unstructured":"J. Leifer and R. Milner. Deriving bisimulation congruences for reactive systems. In Int. Conf. on Concurrency Theory, CONCUR 00, Lecture Notes in Computer Science, pages 243\u2013258. Springer, 2000."},{"issue":"8","key":"26_CR14","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/s002360050067","volume":"33","author":"R. Milner","year":"1996","unstructured":"R. Milner. Calculi for interaction. Acta Informatica, 33(8):707\u2013737, 1996.","journal-title":"Acta Informatica"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"R. Milner. Bigraphical reactive systems: Basic theory. Technical Report 523, Computer Laboratory, University of Cambridge, 2001.","DOI":"10.1007\/3-540-44685-0_2"},{"key":"26_CR16","unstructured":"A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1997."},{"issue":"2","key":"26_CR17","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S1571-0661(05)80367-6","volume":"68","author":"Vladimiro Sassone","year":"2002","unstructured":"V. Sassone and P. Soboci\u0144ski. Deriving bisimulation congruences: A 2-categorical approach. Electronic Notes in Theoretical Computer Science, 68(2), 2002.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"V. Sassone and P. Soboci\u0144ski. Deriving bisimulation congruences: 2-categories vs. precategories. Technical Report RS-03-1, BRICS, January 2003.","DOI":"10.7146\/brics.v10i1.21772"},{"key":"26_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BFb0055628","volume-title":"From rewrite rules to bisimulation congruences","author":"P. Sewell","year":"1998","unstructured":"P. Sewell. From rewrite rules to bisimulation congruences. Lecture Notes in Computer Science, 1466:269\u2013284, 1998."},{"key":"26_CR20","first-page":"111","volume":"XXI","author":"R. H. Street","year":"1980","unstructured":"R. H. Street. Fibrations in bicategories. Cahiers de topologie et g\u00e9om\u00e9trie diff\u00e9rentielle, XXI-2:111\u2013159, 1980.","journal-title":"Cahiers de topologie et g\u00e9om\u00e9trie diff\u00e9rentielle"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36576-1_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:53:27Z","timestamp":1737093207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36576-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008972","9783540365761"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-36576-1_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"28 February 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}