dblp.uni-trier.dewww.uni-trier.de

Eiichi Horita

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
7EEMizuhito Ogawa, Eiichi Horita, Satoshi Ono: Proving Properties of Incremental Merkle Trees. CADE 2005: 424-440
6EEYoshinobu Kawabe, Ken Mano, Eiichi Horita, Kiyoshi Kogure: Name creation implements restriction in the pi-calculus. Systems and Computers in Japan 36(2): 78-91 (2005)
1997
5 Eiichi Horita, Ken Mano: Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus. ASIAN 1997: 377-378
1996
4 Eiichi Horita, Ken Mano: Nepi: A Network Programming Language Based on the pi-Calculus. COORDINATION 1996: 424-427
3 Eiichi Horita: Deriving Failures Models for Nonuniform Concurency from Structured Operational Semantics. New Generation Comput. 14(3): 343-389 (1996)
1994
2 Eiichi Horita, J. W. de Bakker, Jan J. M. M. Rutten: Fully Abstract Denotational Models for Nonuniform Concurrent Languages Inf. Comput. 115(1): 125-178 (1994)
1992
1 Eiichi Horita: A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality. REX Workshop 1992: 288-317

Coauthor Index

1J. W. de Bakker (Jaco de Bakker) [2]
2Yoshinobu Kawabe [6]
3Kiyoshi Kogure [6]
4Ken Mano [4] [5] [6]
5Mizuhito Ogawa [7]
6Satoshi Ono [7]
7Jan J. M. M. Rutten [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)