Logics of parallel object-oriented programming languages

由于米泽先生、小林先生、本田先生是在1993年财政年度末访问英国的，因此访问期间学术交流和讨论所取得的具体技术成果并不明确。然而，与C.琼斯教授、I.沃森教授、J.萨金特博士（曼彻斯特大学）的技术讨论，R.米尔纳教授、R.Burstall教授、C.斯特林博士、B.皮尔斯博士、D.特纳博士、D.步行者博士（爱丁堡大学），阿布拉姆斯基教授（帝国理工学院，伦敦）加深了我们对技术问题的理解，给出了我们研究的新方向。此外，我们在访问之前取得的技术成果，对英国方面的研究发展进程产生了很大的影响。以下是我们主要技术成果的总结：（I）N.小林和A.米泽：.建立ACL的操作和模型理论语义（^*）.在ACL中定义流程等效项..在ACL中引入类型系统。（^*）ACL是由小林和米泽开发的基于线性逻辑的异步并发计算框架。（II）K.本田：.在微积分中建立类型理论（^*）..在微积分中发展组合子理论。（^*）upsilon-calculus是K.本田。

As the visit to UK was made by A.Yonezawa, K.Kobayashi, and K.Honda at the very end of the fiscal year of 1993, the concrete technical results obtained by the academic exchange and discussions during the visit were not explicit. However, the technical discussions with Prof.C.Jones, Prof.I.Watson, Dr.J.Sargeant(Manchester Univ.), Prof.R.Milner, Prof.R.Burstall, Dr.C.Stirling, Dr.B.Pierce, Dr.D.Turner, Dr.D.Walker (Edinburgh Univ.), Prof.Abramsky (Imperial College, London) have deepened our understanding of technical issues and given new directions of our research. Also, our technical achievements made prior to the visit, which are itemized below, gave strong influences to the courses of research development on the UK-side.The followings are a summary of our major technical achievements :(I)N.Kobayashi and A.Yonezawa :.Establishing the operational and model theoretic semantics of ACL(^*)..Defining process equivalencies in ACL..Introducing type systems in ACL.(^*)ACL is the linear logic based asynchronous concurrent computation framework developed by Kobayashi and Yonezawa.(II)K. Honda :.Establishing a type theory in upsilon-calculus(^*)..Developing a theory of combinators in upsilon-calculus.(^*)upsilon-calculus is an asynchronous process calculus developed by K. Honda.