Publications
[Title Page]
Last Updated March 29, 2000
Papers
- An Implicitly-Typed Deadlock-Free Process Calculus
- Naoki Kobayashi, Shin Saito and Eijiro Sumii
- See here.
Presentation Slides
- An Implicitly-Typed Deadlock-Free Process Calculus
Softwares
- Type Checker for Implicitly-Typed Deadlock-Free Process Calculus
[Title Page]
Shin SAITO: shin@yl.is.s.u-tokyo.ac.jp