Formalization of Concurrent Processes. - Toshio Nishimura (IFIP Congress, 1977)

A Prover for Parallel Processes. - Masahiro Hirata; Toshio Nishimura (IJCAI, 1979)

Using Conducting Wire at A-Sandwich Junctions to Improve the Transmission Performance of Radomes. - Yoshio Inasawa; Toshio Nishimura; Jun Tsuruta; Hiroaki Miyashita; Yoshihiko Konishi (IEICE Trans. Commun., 2008)