BibTeX records: Eiichi Horita

• > Home > Persons > 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      = {Syst. Comput. Jpn.},
  volume       = {36},
  number       = {2},
  pages        = {78--91},
  year         = {2005},
  url          = {https://doi.org/10.1002/scj.10302},
  doi          = {10.1002/SCJ.10302},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/KawabeMHK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/OgawaHO05,
  author       = {Mizuhito Ogawa and
                  Eiichi Horita and
                  Satoshi Ono},
  editor       = {Robert Nieuwenhuis},
  title        = {Proving Properties of Incremental Merkle Trees},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {424--440},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_31},
  doi          = {10.1007/11532231\_31},
  timestamp    = {Sun, 02 Oct 2022 15:55:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/OgawaHO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asian/HoritaM97,
  author       = {Eiichi Horita and
                  Ken Mano},
  editor       = {R. K. Shyamasundar and
                  Kazunori Ueda},
  title        = {Nepi{\({^2}\)}: {A} Two-Level Calculus for Network Programming Based
                  on the pi-Calculus},
  booktitle    = {Advances in Computing Science - {ASIAN} '97, Third Asian Computing
                  Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1345},
  pages        = {377--378},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63875-X\_70},
  doi          = {10.1007/3-540-63875-X\_70},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/HoritaM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1007/BF03037487},
  doi          = {10.1007/BF03037487},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/Horita96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/HoritaM96,
  author       = {Eiichi Horita and
                  Ken Mano},
  editor       = {Paolo Ciancarini and
                  Chris Hankin},
  title        = {Nepi: {A} Network Programming Language Based on the pi-Calculus},
  booktitle    = {Coordination Languages and Models, First International Conference,
                  {COORDINATION} '96, Cesena, Italy, April 15-17, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1061},
  pages        = {424--427},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61052-9\_64},
  doi          = {10.1007/3-540-61052-9\_64},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/HoritaM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {https://doi.org/10.1006/inco.1994.1095},
  doi          = {10.1006/INCO.1994.1095},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/HoritaBR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rex/Horita92,
  author       = {Eiichi Horita},
  editor       = {J. W. de Bakker and
                  Willem P. de Roever and
                  Grzegorz Rozenberg},
  title        = {A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization
                  and Locality},
  booktitle    = {Sematics: Foundations and Applications, {REX} Workshop, Beekbergen,
                  The Netherlands, June 1-4, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {666},
  pages        = {288--317},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-56596-5\_38},
  doi          = {10.1007/3-540-56596-5\_38},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/rex/Horita92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}