Masahiro Hirata

Publication Activity (10 Years)

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

Publications

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)
Masahiro Hirata, Toshio Nishimura
A Prover for Parallel Processes. IJCAI (1979)