PhD course student
Department of Computer Scinece, Keio University
Address: 3-14-1 Hiyoshi Kohoku-ku Yokohama, 223 JAPAN
Email: satoh@mt.cs.keio.ac.jp
Tel: +81-45-560-1150 (voice) +81-45-560-1151 (fax)
My research has been supported by Research Fellowships of the Japanese Society for the Promotion of Science for Young Scientists since 1993.
I am reseraching thoeries for distributed computing, real-time computing, object-oriented computing, and scripting langauges for autonomous software entities such as active objects, agents, component software modules.
Papers (written in English):
Satoh, Ichiro and Tokoro, Mario, "A Formalism for Real-Time Concurrent Object-Oriented Computing", Proceedings of ACM Conference on Object-Oriented Pragramming, Systems, Languages, and Applications (OOPSLA'92), pp.315-326, October, (1992).
Satoh, Ichiro, "A Formalism for Timed Communicating Processes", Master Thesis, Keio University, March, 1993.
Satoh, Ichiro and Tokoro, Mario, "A Timed Calculus for Distributed Objects with Clocks", Proceedings of Eourpean Conference on Object-Oriented Programming (ECOOP'93), Lecture Notes of Computer Science, Vol.707, pp.326-345, July, Springer-Verlag, (1993).
Satoh, Ichiro and Tokoro, Mario, "Semantics for a Real-Time Object-Oriented Programming Language", Proceedings of IEEE 5th International Conference on Computer Languages (ICCL'94), p159-170, May, (1994).
Satoh, Ichiro and Tokoro, Mario, "A Formalism for Remotely Interacting Processes", Proceedings of Workshop on Theory and Practice of Parallel Programming (TPPP'94), Lecture Notes of Computer Sicence, Vol. 907, Springer-Verlag, November, (1994).
Satoh, Ichiro and Tokoro, Mario, "Time and Asynchrony in Interactions among Distributed Real-Time Objects", Proceedings of Eourpean Conference on Object-Oriented Programming (ECOOP'95), Lecture Notes of Computer Sicence, Vol.952, August, Springer-Verlag, (1995).
Tokoro, Mario, and Satoh, Ichiro, "Asynchrony and Real-time in Distributed Computing", Proceedings of Parallel Symbolic Computing Workshop, Lecture Notes of Computer Sicence, Vol.734, Springer-Verlag, 1993.
In very near future, I will allow you to get the above papers via anonymous ftp. However, when you get them soon, please contact me at E-mail.