BibTeX records: Eiichi Horita

download as .bib file

@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},
  url       = {https://doi.org/10.1002/scj.10302},
  doi       = {10.1002/scj.10302},
  timestamp = {Sat, 20 May 2017 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 = {Tue, 14 May 2019 10:00:39 +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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics