{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:14:20Z","timestamp":1775790860575,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540581840","type":"print"},{"value":"9783540484776","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58184-7_118","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:29:28Z","timestamp":1330270168000},"page":"398-413","source":"Crossref","is-referenced-by-count":159,"title":["An interaction-based language and its typing system"],"prefix":"10.1007","author":[{"given":"Kaku","family":"Takeuchi","sequence":"first","affiliation":[]},{"given":"Kohei","family":"Honda","sequence":"additional","affiliation":[]},{"given":"Makoto","family":"Kubo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"P. America, Operational Semantics of a Parallel Object-Oriented Language. In POPL'86, 1986.","DOI":"10.1145\/512644.512662"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"D. Berry, R. Milner and D. Turner, A semantics for ML concurrency primitives. In POPL'92, 1992.","DOI":"10.1145\/143165.143191"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"L. Damas and R. Milner. Principal type-schemes for functional programs. In POPL'82, 1982.","DOI":"10.1145\/582153.582176"},{"key":"34_CR5","unstructured":"M. Hennessy. The Semantics of Programming Languages. Wiley, 1990."},{"key":"34_CR6","unstructured":"C. Hewitt, P. Bishop and R. Steiger, A Universal Modular ACTOR Formalism for Artificial Intelligence. In IJCAI, 1973."},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare, Communicating sequential processes. Communications of ACM, 1978.","DOI":"10.1145\/359576.359585"},{"key":"34_CR8","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":"34_CR9","doi-asserted-by":"crossref","unstructured":"K. Honda, Types for Dyadic Interaction. In CONCUR'93, LNCS 612, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_35"},{"key":"34_CR10","unstructured":"K. Honda and M. Tokoro, An Object Calculus for Asynchronous Communication. In ECOOP'91, LNCS 512, Springer-Verlag, 1991."},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"K. Honda and N. Yoshida, Combinatory Representation of Mobile Processes. In POPL'94, 1994.","DOI":"10.1145\/174675.177953"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"C. B. Jones, Constraining interference in an object-based design method, In TAPSOFT'93, LNCS 668, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56610-4_61"},{"key":"34_CR13","unstructured":"M. Kubo and A. Sashino, On Some Interaction Machines, in preparation, 1994."},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"J. C. Mitchell, Type Systems for Programming Languages. In Handbook of Theoretical Computer Science B, MIT press, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50013-5"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"R. Milner, A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences, 17, 1978.","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"R. Milner, Polyadic \u03c0-Calculus: a tutorial. Logic and Algebra of Specification, Springer-Verlag, 1992.","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"R. Milner, J. Parrow and D. Walker, A calculus of mobile processes, (Parts I and II). Information and Computation, 100, 1992.","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"34_CR18","unstructured":"R. Milner, M. Tofte, and R. Harper, The Definition of Standard ML, MIT press, 1990."},{"key":"34_CR19","doi-asserted-by":"crossref","unstructured":"H. R. Nielson and F. Nielson, Higher-Order Concurrent Programs with Finite Communication Topology. In POPL'94, 1994.","DOI":"10.1145\/174675.174538"},{"key":"34_CR20","doi-asserted-by":"crossref","unstructured":"A. Ohori, A compilation method for ML-style polymorphic record calculi. In POPL'92, 1992.","DOI":"10.1145\/143165.143200"},{"key":"34_CR21","doi-asserted-by":"crossref","unstructured":"A. Ohori and K. Kato, Semantics for Communication Primitives in a Polymorphic Language. In POPL'93, 1993.","DOI":"10.1145\/158511.158529"},{"key":"34_CR22","unstructured":"B. C. Pierce, D. Remy and D. N. Turner, A Typed Higher-Order Programming Language Based on the Pi-Calculus. Manuscript, 1993."},{"key":"34_CR23","doi-asserted-by":"crossref","unstructured":"B. C. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. In 1993 IEEE Symposium on Logic in Computer Science, 1993","DOI":"10.1109\/LICS.1993.287570"},{"key":"34_CR24","doi-asserted-by":"crossref","unstructured":"J. H. Reppy. CML: A Higher-Order Concurrent Language. In PLDI'91, 1991.","DOI":"10.1145\/113445.113470"},{"key":"34_CR25","doi-asserted-by":"crossref","unstructured":"K. Takeuchi, Interaction-Based Programming Language and its Typing System. Master Thesis, Keio University, March 1993 (in Japanese). The English version in preparation.","DOI":"10.1007\/3-540-58184-7_118"},{"key":"34_CR26","doi-asserted-by":"crossref","unstructured":"B. Thomsen. A Calculus of Higher Order Communicating Systems. In POPL'89, 1989.","DOI":"10.1145\/75277.75290"},{"key":"34_CR27","doi-asserted-by":"crossref","unstructured":"V. T. Vasconcelos. Predicative Polymorphism in \u03c0-Calculus. In PARLE'94, LNCS, Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58184-7_120"},{"key":"34_CR28","doi-asserted-by":"crossref","unstructured":"V. T. Vasconcelos and K. Honda. Principal Typing-Schemes in a Polyadic \u03c0-Calculus. In CONCUR'93, LNCS 715, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_36"},{"key":"34_CR29","doi-asserted-by":"crossref","unstructured":"Y. Yokote and M. Tokoro. The Design and Implementation of ConcurrentSmalltalk. In OOPSLA'86, 1986.","DOI":"10.1145\/28697.28730"},{"key":"34_CR30","unstructured":"A. Yonezawa, ABCL: An Object-Oriented Concurrent System. MIT Press, 1990."}],"container-title":["Lecture Notes in Computer Science","PARLE'94 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58184-7_118.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:22:33Z","timestamp":1742595753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58184-7_118"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581840","9783540484776"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-58184-7_118","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}