| Co-Investigator(Kenkyū-buntansha) |
JONES Cliff Depatrment of Computer Science, Univ. of Manchester, Lecture, 計算機科学科, 講師
KOBAYASHI Naoki Graduate School of Science, Univ. of Tokyo, Research Associate, 大学院理学系研究科, 助手
HONDA Kohei Faculty of Science and Technology, Keio Univ., JSPS Fellowship, 理工学部, 学振特別研究員
WATANABE Takuo Department of Information Science, JAIST, Assistant Professor, 情報科学研究科, 助教授 (20222408)
SHIBAYAMA Etsuya Faculty of Science, Tokyo Institute of Technology, Assistant Professor, 理学部, 助教授 (80162642)
TOKORO Mario Faculty of Science and Technology, Keio Univ., Professor, 理工学部, 教授 (10051898)
|
|---|
| Research Abstract |
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.
|
