A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality. - Eiichi Horita (REX Workshop, 1992)

Fully Abstract Denotational Models for Nonuniform Concurrent Languages - Eiichi Horita; J. W. de Bakker; Jan J. M. M. Rutten (Inf. Comput., 1994)

Nepi: A Network Programming Language Based on the pi-Calculus. - Eiichi Horita; Ken Mano (COORDINATION, 1996)

Deriving Failures Models for Nonuniform Concurency from Structured Operational Semantics. - Eiichi Horita (New Gener. Comput., 1996)

Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus. - Eiichi Horita; Ken Mano (ASIAN, 1997)

Proving Properties of Incremental Merkle Trees. - Mizuhito Ogawa; Eiichi Horita; Satoshi Ono (CADE, 2005)

Name creation implements restriction in the pi-calculus. - Yoshinobu Kawabe; Ken Mano; Eiichi Horita; Kiyoshi Kogure (Syst. Comput. Jpn., 2005)