Ken Hirose

Publication Activity (10 Years)

Years Active: 1981-1988
Publications (10 Years): 0

Publications

Norihisa Doi, Yasushi Kodama, Ken Hirose
An Implementation of an Operating System Kernel Using Concurrent Object-Oriented Language ABCL/c+. ECOOP (1988)
Ken Hirose
An Approach to Proof Checker. MFCS (1986)
Ken Hirose, Kiyoshi Segawa, Nobuo Saito, Norihisa Doi, Masahiro Hirata, Toshiharu Yamasaki, Masayuki Takata
Specification technique for parallel processing: process-data representation. AFIPS National Computer Conference (1981)