Logics of parallel object-oriented programming languages

由于A·Yonezawa、K·K.Kobayashi和K·Honda在1993财政年度末对英国进行了访问，访问期间学术交流和讨论取得的具体技术成果并不明确。然而，与C.Jones教授、I.Watson教授、J.Sargeant博士(曼彻斯特大学)、R.Milner教授、R.Burstall教授、C.Stirling博士、B.Piells博士、D.Turner博士、D.Walker博士(爱丁堡大学)、Abramsky教授(伦敦帝国理工学院)的技术讨论加深了我们对技术问题的理解，并为我们的研究提供了新的方向。另外，我们在访问之前取得的技术成果如下，对英国方面的研究发展进程产生了很大的影响。以下是我们的主要技术成果的总结：(I)N.Kobayashi和A.Yonezawa：.建立了ACL的操作和模型理论语义(^*).在ACL中定义了进程等价.在ACL中引入了类型系统.(^*)ACL是由Kobayashi和Yonezawa开发的基于线性逻辑的异步并发计算框架。(Ii)K.Honda：.建立了上位演算中的类型理论(^*).发展了上位演算中的组合子理论*)upsilon演算是K.Honda开发的一种异步进程演算。

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.