Eiichi Horita

According to our database, Eiichi Horita authored at least 7 papers between 1992 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2005

Name creation implements restriction in the pi-calculus.

Yoshinobu Kawabe, Ken Mano, Eiichi Horita, Kiyoshi Kogure

Syst. Comput. Jpn., 2005

Proving Properties of Incremental Merkle Trees.

Mizuhito Ogawa, Eiichi Horita, Satoshi Ono

Proceedings of the Automated Deduction, 2005

1997

Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus.

Eiichi Horita, Ken Mano

Proceedings of the Advances in Computing Science, 1997

1996

Deriving Failures Models for Nonuniform Concurency from Structured Operational Semantics.

Eiichi Horita

New Gener. Comput., 1996

Nepi: A Network Programming Language Based on the pi-Calculus.

Eiichi Horita, Ken Mano

Proceedings of the Coordination Languages and Models, First International Conference, 1996

1994

Fully Abstract Denotational Models for Nonuniform Concurrent Languages

Eiichi Horita, J. W. de Bakker, Jan J. M. M. Rutten

Inf. Comput., November, 1994

1992

A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality.

Eiichi Horita

Proceedings of the Sematics: Foundations and Applications, 1992