Publications

Ichiro Satoh

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 in 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 in 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 in 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 in Computer Sicence, Vol.734, Springer-Verlag, 1993.
  
  
• Satoh, Ichiro, "Time and Asynchrony in Distributed Computing", PhD Thesis, Department of Computer Science, Keio University, Feburary, 1996.
  
  

In very near future, I will allow you to get the above papers via anonymous ftp or WWW. However, when you get them soon, please send Email to Email: ichiro@is.ocha.ac.jp. I am ready to send you hardcopies of the papers which you want to read.

Return Ichiro Satoh's home page