{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T00:35:09Z","timestamp":1794357309565,"version":"4.9.0"},"publisher-location":"Boston, MA","reference-count":21,"publisher":"Springer US","isbn-type":[{"value":"9780387096797","type":"print"},{"value":"9780387096803","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-09680-3_35","type":"book-chapter","created":{"date-parts":[[2008,7,21]],"date-time":"2008-07-21T07:37:14Z","timestamp":1216625834000},"page":"521-535","source":"Crossref","is-referenced-by-count":4,"title":["Adequacy of Compositional Translations for Observational Semantics"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Schmidt-Schau\u00df","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joachim","family":"Niehren","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Schwinghammer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Sabel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"35_CR1","unstructured":"The Alice Project (2007). Saarland University, http:\/\/www.ps.uni-sb.de\/alice}"},{"issue":"3","key":"35_CR2","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/j.tcs.2004.10.005","volume":"330","author":"A. Carayol","year":"2005","unstructured":"Carayol, A., Hirschkoff, D., Sangiorgi, D.: On the representation of McCarthy\u2019s amb in the pi-calculus. Theoret. Comput. Sci. 330(3), 439\u2013473 (2005)","journal-title":"Theoret. Comput. Sci."},{"key":"35_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theoret. Comput. Sci. 34, 83\u2013133 (1984)","journal-title":"Theoret. Comput. Sci."},{"issue":"1\u20133","key":"35_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0167-6423(91)90036-W","volume":"17","author":"M. Felleisen","year":"1991","unstructured":"Felleisen, M.: On the expressive power of programming languages. Sci. Comput. Programming 17(1\u20133), 35\u201375 (1991)","journal-title":"Sci. Comput. Programming"},{"issue":"1\u20132","key":"35_CR5","first-page":"5","volume":"228","author":"A.D. Gordon","year":"1999","unstructured":"Gordon, A.D.: Bisimilarity as a theory of functional programming. Theoret. Comput. Sci. 228(1\u20132), 5\u201347 (1999)","journal-title":"Comput. Sci."},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Kutzner, A., Schmidt-Schau\u00df, M.: A nondeterministic call-by-need lambda calculus. In: Proc. ICFP, pp. 324\u2013335. ACM (1998)","DOI":"10.1145\/289423.289462"},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Matthews, J., Findler, R.B.: Operational semantics for multi-language programs. In: 34th ACM POPL, pp. 3\u201310. ACM (2007)","DOI":"10.1145\/1190216.1190220"},{"key":"35_CR8","unstructured":"McCusker, G.: Full abstraction by translation. In: Advances in Theory and Formal Methods of Computing. IC Press (1996)"},{"issue":"1","key":"35_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"Milner, R.: Fully abstract models of typed lambda calculi. Theoret. Comput. Sci. 4(1), 1\u201322 (1977)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"35_CR10","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0167-6423(93)90004-9","volume":"21","author":"J.C. Mitchell","year":"1993","unstructured":"Mitchell, J.C.: On abstraction and the expressive power of programming languages. Sci. Comput. Programming 21(2), 141\u2013163 (1993)","journal-title":"Sci. Comput. Programming"},{"key":"35_CR11","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/j.entcs.2007.02.041","volume":"173","author":"J. Niehren","year":"2007","unstructured":"Niehren, J., Sabel, D., Schmidt-Schau\u00df, M., Schwinghammer, J.: Observational semantics for a concurrent lambda calculus with reference cells and futures. Electron. Notes Theor. Comput. Sci. 173, 313\u2013337 (2007)","journal-title":"Notes Theor. Comput. Sci."},{"issue":"3","key":"35_CR12","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/j.tcs.2006.08.016","volume":"364","author":"J. Niehren","year":"2006","unstructured":"Niehren, J., Schwinghammer, J., Smolka, G.: A concurrent lambda calculus with futures. Theoret. Comput. Sci. 364(3), 338\u2013356 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S., Gordon, A., Finne, S.: Concurrent Haskell. In: 23rd ACM POPL, pp. 295\u2013308. ACM (1996)","DOI":"10.1145\/237721.237794"},{"key":"35_CR14","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1017\/S0960129500003066","volume":"10","author":"A.D. Pitts","year":"2000","unstructured":"Pitts, A.D.: Parametric polymorphism and operational equivalence. Math. Structures Comput. Sci. 10, 321\u2013359 (2000)","journal-title":"Math. Structures Comput. Sci."},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Riecke, J.G.: Fully abstract translations between functional languages. In: 18th ACM POPL, pp. 245\u2013254. ACM (1991)","DOI":"10.1145\/99583.99617"},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"Ritter, E., Pitts, A.M.: A fully abstract translation between a lambda-calculus with reference types and Standard ML. In: Proc. 2nd TLCA, pp. 397\u2013413. Springer (1995)","DOI":"10.1007\/BFb0014067"},{"key":"35_CR17","doi-asserted-by":"crossref","unstructured":"Sabel, D., Schmidt-Schau\u00df, M.: A call-by-need lambda-calculus with locally bottom-avoiding choice: Context lemma and correctness of transformations. Math. Structures Comput. Sci. (2008). Accepted for publication","DOI":"10.1017\/S0960129508006774"},{"key":"35_CR18","doi-asserted-by":"crossref","unstructured":"Sanjabi, S.B., Ong, C.H.L.: Fully abstract semantics of additive aspects by translation. In: Proc. 6th OASD, pp. 135\u2013148. ACM (2007)","DOI":"10.1145\/1218563.1218579"},{"key":"35_CR19","doi-asserted-by":"crossref","unstructured":"Schmidt-Schau\u00df, M., Niehren, J., Schwinghammer, J., Sabel, D.: Adequacy of compositional translations for observational semantics. Technical report Frank-33, J.W.Goethe Universit\u00e4t, Frankfurt (2008)","DOI":"10.1007\/978-0-387-09680-3_35"},{"key":"35_CR20","doi-asserted-by":"crossref","unstructured":"Shapiro, E.: Separating concurrent languages with categories of language embeddings. In: 23rd ACM STOC, pp. 198\u2013208. ACM (1991)","DOI":"10.1145\/103418.103423"},{"issue":"5","key":"35_CR21","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1093\/comjnl\/35.5.514","volume":"35","author":"H. S\u00f8ndergaard","year":"1992","unstructured":"S\u00f8ndergaard, H., Sestoft, P.: Non-determinism in functional languages. Comput. J. 35(5), 514\u2013523 (1992)","journal-title":"Comput. J."}],"container-title":["IFIP International Federation for Information Processing","Fifth Ifip International Conference On Theoretical Computer Science \u2013 Tcs 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-09680-3_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:44:39Z","timestamp":1619559879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-09680-3_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387096797","9780387096803"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-09680-3_35","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-0-387-09680-3","asserted-by":"object"}]},"ISSN":["1571-5736"],"issn-type":[{"value":"1571-5736","type":"print"}],"subject":[]}}