BibTeX records: Eiichi Horita

• > Home > Eiichi Horita

@article{DBLP:journals/scjapan/KawabeMHK05,
  author    = {Yoshinobu Kawabe and
               Ken Mano and
               Eiichi Horita and
               Kiyoshi Kogure},
  title     = {Name creation implements restriction in the pi-calculus},
  journal   = {Systems and Computers in Japan},
  volume    = {36},
  number    = {2},
  pages     = {78--91},
  year      = {2005}
}

@inproceedings{DBLP:conf/cade/OgawaHO05,
  author    = {Mizuhito Ogawa and
               Eiichi Horita and
               Satoshi Ono},
  title     = {Proving Properties of Incremental Merkle Trees},
  booktitle = {{CADE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3632},
  pages     = {424--440},
  publisher = {Springer},
  year      = {2005}
}

@inproceedings{DBLP:conf/asian/HoritaM97,
  author    = {Eiichi Horita and
               Ken Mano},
  title     = {Nepi{\({^2}\)}: {A} Two-Level Calculus for Network Programming Based
               on the pi-Calculus},
  booktitle = {{ASIAN}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1345},
  pages     = {377--378},
  publisher = {Springer},
  year      = {1997}
}

@article{DBLP:journals/ngc/Horita96,
  author    = {Eiichi Horita},
  title     = {Deriving Failures Models for Nonuniform Concurency from Structured
               Operational Semantics},
  journal   = {New Gener. Comput.},
  volume    = {14},
  number    = {3},
  pages     = {343--389},
  year      = {1996}
}

@inproceedings{DBLP:conf/coordination/HoritaM96,
  author    = {Eiichi Horita and
               Ken Mano},
  title     = {Nepi: {A} Network Programming Language Based on the pi-Calculus},
  booktitle = {{COORDINATION}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1061},
  pages     = {424--427},
  publisher = {Springer},
  year      = {1996}
}

@article{DBLP:journals/iandc/HoritaBR94,
  author    = {Eiichi Horita and
               J. W. de Bakker and
               Jan J. M. M. Rutten},
  title     = {Fully Abstract Denotational Models for Nonuniform Concurrent Languages},
  journal   = {Inf. Comput.},
  volume    = {115},
  number    = {1},
  pages     = {125--178},
  year      = {1994}
}

@inproceedings{DBLP:conf/rex/Horita92,
  author    = {Eiichi Horita},
  title     = {A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization
               and Locality},
  booktitle = {{REX} Workshop},
  series    = {Lecture Notes in Computer Science},
  volume    = {666},
  pages     = {288--317},
  publisher = {Springer},
  year      = {1992}
}