{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,22]],"date-time":"2024-08-22T13:25:13Z","timestamp":1724333113220},"reference-count":14,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3954,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,10]]},"DOI":"10.1016\/s1571-0661(04)80372-4","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T19:29:25Z","timestamp":1096399765000},"page":"337-357","source":"Crossref","is-referenced-by-count":12,"title":["Well-behaved Translations between Structural Operational Semantics"],"prefix":"10.1016","volume":"65","author":[{"given":"Hiroshi","family":"Watanabe","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80372-4_NEWBIB1","series-title":"Handbook of Process Algebra","first-page":"197","article-title":"Structural operational semantics","author":"Aceto","year":"2001"},{"key":"10.1016\/S1571-0661(04)80372-4_NEWBIB2","article-title":"GSOS for Probabilistic Systems","volume":"65.1","author":"Bartels","year":"2002","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80372-4_NEWBIB3","unstructured":"M. Fiore, and D. Turi, Semantics of Name and Value Passing, Proc. LICS 01 (2001), 93\u2013104."},{"key":"10.1016\/S1571-0661(04)80372-4_NEWBIB4","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-09526-8_8","article-title":"Full abstraction for a simple programming language","volume":"74","author":"Hennessy","year":"1979","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S1571-0661(04)80372-4_NEWBIB5","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1112\/blms\/7.3.294","article-title":"Adjoint lifting theorems for categories of algebras","volume":"7","author":"Johnstone","year":"1975","journal-title":"Bull. London Math. Soc"},{"key":"10.1016\/S1571-0661(04)80372-4_NEWBIB6","doi-asserted-by":"crossref","unstructured":"G.M. Kelly and R. Street, Review of the elements of 2-categories, Sydney Category Seminar, Lecture Notes in Mathematics 420 (1974), 75\u2013103.","DOI":"10.1007\/BFb0063101"},{"key":"10.1016\/S1571-0661(04)80372-4_NEWBIB7","doi-asserted-by":"crossref","unstructured":"M. Lenisa, J. Power and H. Watanabe, Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads, Electronic Notes in Theoretical Computer Science 33 (2000) http:\/\/www.elsevier.nl\/locate\/entcs\/volume33.html.","DOI":"10.1016\/S1571-0661(05)80350-0"},{"key":"10.1016\/S1571-0661(04)80372-4_NEWBIB8","unstructured":"G.D. Plotkin, A structural Approach to Operational Semantics, Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"10.1016\/S1571-0661(04)80372-4_NEWBIB9","doi-asserted-by":"crossref","unstructured":"J. Power and H. Watanabe, Distributivity of a monad and a comonad, Electronic Notes in Theoretical Computer Science 19 (1999). http:\/\/www.elsevier.nl\/locate\/entcs\/volume19.htm.","DOI":"10.1016\/S1571-0661(05)80271-3"},{"key":"10.1016\/S1571-0661(04)80372-4_NEWBIB10","unstructured":"J. Power and H. Watanabe, Combining monads and comonads, to appear in Theoretical Computer Science."},{"key":"10.1016\/S1571-0661(04)80372-4_NEWBIB11","doi-asserted-by":"crossref","unstructured":"J. Rutten and D. Turi, Initial algebra and final coalgebra semantics for concurrency, Lecture Notes in Computer Science 803 (1994), 530\u2013582.","DOI":"10.1007\/3-540-58043-3_28"},{"key":"10.1016\/S1571-0661(04)80372-4_NEWBIB12","doi-asserted-by":"crossref","unstructured":"D. Turi and G.D. Plotkin, Towards a mathematical operational semantics, Proc. LICS 97 (1997), 280\u2013291.","DOI":"10.1109\/LICS.1997.614955"},{"key":"10.1016\/S1571-0661(04)80372-4_NEWBIB13","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BFb0026985","article-title":"Categorical Modelling of Structural Operational Rules: Case Studies","volume":"1290","author":"Turi","year":"1997","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S1571-0661(04)80372-4_NEWBIB14","unstructured":"H. Watanabe, Well-behaved Translations between Structural Operational Semantics (Long version), in preparation."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803724?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803724?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T12:22:41Z","timestamp":1549196561000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104803724"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["S1571066104803724"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80372-4","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,10]]}}}