{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T08:54:06Z","timestamp":1725699246124},"publisher-location":"Boston, MA","reference-count":20,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781475710182"},{"type":"electronic","value":"9780387355207"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-0-387-35520-7_20","type":"book-chapter","created":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T12:32:14Z","timestamp":1344601934000},"page":"397-417","source":"Crossref","is-referenced-by-count":3,"title":["Components as Processes: An Exercise in Coalgebraic Modeling"],"prefix":"10.1007","author":[{"given":"L. S.","family":"Barbosa","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","first-page":"389","volume-title":"D. Pitt, D. Rydeheard, P. Dybjer, A. Pitts, and A. Poigne, editors, Proc. Category Theory and Computer Science, pages 357-365. Springer Lect. Notes Comp. Sci.","author":"P Aczel","year":"1988","unstructured":"P. Aczel and N. Mendier. A final coalgebra theorem. In D. Pitt, D. Rydeheard, P. Dybjer, A. Pitts, and A. Poigne, editors, Proc. Category Theory and Computer Science, pages 357\u2013365. Springer Lect. Notes Comp. Sci. ( 389 ), 1988."},{"key":"20_CR2","first-page":"6","volume-title":"Proc. of AGP99 - Joint Conference on Declarative Programming","author":"LS Barbosa","year":"1999","unstructured":"L. S. Barbosa. Prototyping processes. In M. C. Meo and M. Vilares Ferro, editors, Proc. of AGP\u201999\u2013Joint Conference on Declarative Programming, pages 513\u2013527, L\u2019Aquila, Italy, 6\u20139 September 1999."},{"key":"20_CR3","volume-title":"Universidade do Minho","author":"LS Barbosa","year":"2000","unstructured":"L. S. Barbosa. Forthcoming thesis. DI, Universidade do Minho, 2000."},{"key":"20_CR4","volume-title":"About Charity. Yellow Series Report No. 92\/480\/18, Dep","author":"R Cockett","year":"1992","unstructured":"Robin Cockett and Tom Fukushima. About Charity. Yellow Series Report No. 92\/480\/18, Dep. Computer Science, University of Calgary, June 1992."},{"key":"20_CR5","first-page":"13","volume-title":"Proceedings of Int. Summer Category Theory Meeting, Montreal, Quebec, 23-30 June 1991, pages 141-169. AMS","author":"R Cockett","year":"1992","unstructured":"Robin Cockett and Dwight Spencer. Strong categorical datatypes I. In R. A. G. Seely, editor, Proceedings of Int. Summer Category Theory Meeting, Montreal, Quebec, 23\u201330 June\n                  1991, pages 141\u2013169. AMS, CMS Conf. Proceedings 13, 1992."},{"key":"20_CR6","volume-title":"Information & Computation","author":"C Hermida","year":"1998","unstructured":"C. Hermida and B. Jacobs. Structural induction and coinduction in a fibrational setting. Information & Computation, (145):105\u2013121, 1998."},{"key":"20_CR7","volume-title":"Prentice-Hall International","author":"CAR Hoare","year":"1985","unstructured":"C. A. R Hoare. Communicating Sequential Processes. Series in Computer Science. Prentice-Hall International, 1985."},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-1-4613-1437-0_5","volume-title":"Object-Orientation with Parallelism and Persistence","author":"B Jacobs","year":"1996","unstructured":"B. Jacobs. Objects and classes, co-algebraically. In C. Lengauer B. Freitag, C.B. Jones and H.-J. Schek, editors, Object-Orientation with Parallelism and Persistence, pages 83\u2013103. Kluwer Acad. Publ., 1996."},{"key":"20_CR9","volume-title":"University of Nijmegen","author":"B Jacobs","year":"1999","unstructured":"B. Jacobs. The temporal logic of coalgebras via Galois algebras. Techn. rep. CSI-R9906, Comp. Sci. Inst., University of Nijmegen, 1999."},{"key":"20_CR10","first-page":"222","volume":"62","author":"B Jacobs","year":"1997","unstructured":"B. Jacobs and J. Rutten. A tutorial on (co)algebras and (co)induction. EATCS Bulletin, 62: 222\u2013159, 1997.","journal-title":"Eatcs Bulletin"},{"key":"20_CR11","volume-title":"Prentice-Hall International","author":"B Cliff","year":"1986","unstructured":"Cliff B. Jones. Systematic Software Development Using VDM. Series in Computer Science. Prentice-Hall International, 1986."},{"key":"20_CR12","volume-title":"Prentice-Hall International","author":"AJRG Milner","year":"1989","unstructured":"A. J. R. G. Milner. Communication and Concurrency. Series in Computer Science. Prentice-Hall International, 1989."},{"key":"20_CR13","volume-title":"Selected Papers from 8th Nordic Workshop on Programming Theory. Research Report 240, Oslo","author":"A Pardo","year":"1996","unstructured":"A. Pardo. A calculational approach to strong datatypes. In Selected Papers from 8th Nordic Workshop on Programming Theory. Research Report 240, Oslo, 1996."},{"key":"20_CR14","volume-title":"Notes Comp. Sci","author":"D Park","year":"1981","unstructured":"D. Park. Concurrency and automata on infinite sequences. pages 561572. Springer Lect. Notes Comp. Sci. (154), 1981."},{"key":"20_CR15","volume-title":"Math. Struc. Comp. Sci","author":"H Reichel","year":"1995","unstructured":"H. Reichel. An approach to object semantics based on terminal co-algebras. Math. Struc. Comp. Sci., (5):129\u2013152, 1995."},{"key":"20_CR16","unstructured":"J. Rutten. Universal coalgebra: A theory of systems. Technical Report CS-R9636, CWI, Amsterdam, 1996. (to appear in Theor. Comp. Sci.)."},{"key":"20_CR17","first-page":"803","volume-title":"Proc. REX School: A Decade of Concurrency, pages 530 - 582. Springer Lect. Notes Comp. Sci.","author":"J Rutten","year":"1994","unstructured":"J. Rutten and D. Turi. Initial algebra and final co-algebra semantics for concurrency. In Proc. REX School: A Decade of Concurrency, pages 530\u2013582. Springer Lect. Notes Comp. Sci. ( 803 ), 1994."},{"key":"20_CR18","volume-title":"Categorical Programming with Functorial Strength","author":"L Dwight","year":"1993","unstructured":"Dwight L. Spencer. Categorical Programming with Functorial Strength. PhD thesis, The Oregon Graduate Institute of Science and Technology, January 1993."},{"key":"20_CR19","volume-title":"Prentice-Hall International","author":"JM Spivey","year":"1989","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Series in Computer Science. Prentice-Hall International, 1989."},{"issue":"5","key":"20_CR20","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1017\/S0960129598002588","volume":"8","author":"D Turi","year":"1998","unstructured":"D. Turi and J. Rutten. On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces. Math. Struc. Comp. Sci., 8 (5): 481\u2013540, 1998.","journal-title":"Math. Struc. Comp. Sci"}],"container-title":["IFIP Advances in Information and Communication Technology","Formal Methods for Open Object-Based Distributed Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-35520-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T00:33:02Z","timestamp":1557189182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-35520-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9781475710182","9780387355207"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-35520-7_20","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2000]]}}}