{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,7]],"date-time":"2025-12-07T16:01:18Z","timestamp":1765123278983},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540407539"},{"type":"electronic","value":"9783540451877"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45187-7_25","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T22:38:49Z","timestamp":1277505529000},"page":"383-398","source":"Crossref","is-referenced-by-count":4,"title":["Full Abstraction for HOPLA"],"prefix":"10.1007","author":[{"given":"Mikkel","family":"Nygaard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Glynn","family":"Winskel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022251","volume-title":"Computer Science Logic","author":"P.N. Benton","year":"1995","unstructured":"Benton, P.N.: A mixed linear and non-linear logic: proofs, terms and models (extended abstract). In: Pacholski, L., Tiuryn, J. (eds.) CSL 1994. LNCS, vol.\u00a0933. Springer, Heidelberg (1995)"},{"unstructured":"Br\u00e4uner, T.: An Axiomatic Approach to Adequacy. Ph.D. Dissertation, University of Aarhus, BRICS Dissertation Series DS-96-4 (1996)","key":"25_CR2"},{"doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Anytime, anywhere: modal logics for mobile ambients. In: Proc. POPL 2000 (2000)","key":"25_CR3","DOI":"10.1145\/325694.325742"},{"unstructured":"Cattani, G.L., Winskel, G.: Profunctors, open maps and bisimulation. Manuscript (2000)","key":"25_CR4"},{"issue":"1","key":"25_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoretical Computer Science\u00a050(1), 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Gordon, A.D.: Bisimilarity as a theory of functional programming. In: Proc. MFPS 1995. ENTCS 1 (1995)","key":"25_CR6","DOI":"10.1016\/S1571-0661(04)80013-6"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Mathematical Foundations of Computer Science 1979","author":"M.C.B. Hennessy","year":"1979","unstructured":"Hennessy, M.C.B., Plotkin, G.D.: Full abstraction for a simple parallel programming language. In: Becvar, J. (ed.) MFCS 1979. LNCS, vol.\u00a074. Springer, Heidelberg (1979)"},{"issue":"1","key":"25_CR8","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. Journal of the ACM\u00a032(1), 137\u2013161 (1985)","journal-title":"Journal of the ACM"},{"issue":"1","key":"25_CR9","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1006\/inco.1994.1052","volume":"112","author":"M. Hennessy","year":"1994","unstructured":"Hennessy, M.: A fully abstract denotational model for higher-order processes. Information and Computation\u00a0112(1), 55\u201395 (1994)","journal-title":"Information and Computation"},{"unstructured":"Hoare, C.A.R.: A Model for Communicating Sequential Processes. Technical monograph, PRG-22, University of Oxford Computing Laboratory (1981)","key":"25_CR10"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1006\/inco.1996.0057","volume":"127","author":"A. Joyal","year":"1996","unstructured":"Joyal, A., Nielsen, M., Winskel, G.: Bisimulation from open maps. Information and Computation\u00a0127, 164\u2013185 (1996)","journal-title":"Information and Computation"},{"key":"25_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Semantics of Data Types","author":"K.G. Larsen","year":"1984","unstructured":"Larsen, K.G., Winskel, G.: Using information systems to solve recursive domain equations effectively. In: Plotkin, G., MacQueen, D.B., Kahn, G. (eds.) Semantics of Data Types 1984. LNCS, vol.\u00a0173. Springer, Heidelberg (1984)"},{"unstructured":"Melli\u00e8s, P.-A.: Categorical models of linear logic revisited. Theoretical Computer Science (2002) (submitted to)","key":"25_CR13"},{"issue":"1","key":"25_CR14","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, parts I and II. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"unstructured":"Morris, J.H.: Lambda-Calculus Models of Programming Languages. PhD thesis, MIT (1968)","key":"25_CR15"},{"issue":"1","key":"25_CR16","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part I. Theoretical Computer Science\u00a013(1), 85\u2013108 (1981)","journal-title":"Theoretical Computer Science"},{"unstructured":"Nygaard, M.: Towards an operational understanding of presheaf models. Progress report, University of Aarhus (2001)","key":"25_CR17"},{"doi-asserted-by":"crossref","unstructured":"Nygaard, M., Winskel, G.: Linearity in process languages. In: Proc. LICS 2002 (2002)","key":"25_CR18","DOI":"10.1109\/LICS.2002.1029851"},{"key":"25_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/3-540-45694-5_29","volume-title":"CONCUR 2002 - Concurrency Theory","author":"M. Nygaard","year":"2002","unstructured":"Nygaard, M., Winskel, G.: HOPLA\u2014a higher-order process language. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, p. 434. Springer, Heidelberg (2002)"},{"doi-asserted-by":"crossref","unstructured":"Nygaard, M., Winskel, G.: Domain theory for concurrency. Theoretical Computer Science (2003) (submitted to)","key":"25_CR20","DOI":"10.7146\/brics.v10i43.21815"},{"key":"25_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0012801","volume-title":"Automata, Languages, and Programming","author":"D.S. Scott","year":"1982","unstructured":"Scott, D.S.: Domains for denotational semantics. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol.\u00a0140. Springer, Heidelberg (1982)"},{"unstructured":"Seely, R.A.G.: Linear logic, \u2217-autonomous categories and cofree coalgebras. In: Proc. Categories in Computer Science and Logic (1987)","key":"25_CR22"},{"key":"25_CR23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Languages","author":"G. Winskel","year":"1993","unstructured":"Winskel, G.: The Formal Semantics of Programming Languages. MIT Press, Cambridge (1993)"},{"key":"25_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR \u201996: Concurrency Theory","author":"G. Winskel","year":"1996","unstructured":"Winskel, G.: A presheaf semantics of value-passing processes. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119. Springer, Heidelberg (1996)"},{"unstructured":"Winskel, G., Zappa Nardelli, F.: Manuscript (2003)","key":"25_CR25"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2003 - Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45187-7_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,6]],"date-time":"2020-06-06T04:58:00Z","timestamp":1591419480000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45187-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540407539","9783540451877"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45187-7_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}