BibTeX

@inproceedings{DBLP:journals/entcs/MizunoMKKAY05,
  author       = {Atsushi Mizuno and
                  Ken Mano and
                  Yoshinobu Kawabe and
                  Hiroaki Kuwabara and
                  Kiyoshi Agusa and
                  Shoji Yuen},
  editor       = {Irek Ulidowski},
  title        = {Name-passing style {GUI} programming in the \emph{pi}-calculus-based
                  language Nepi},
  booktitle    = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS}
                  2004, Stirling, UK, July 12, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {139},
  number       = {1},
  pages        = {145--168},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.001},
  doi          = {10.1016/J.ENTCS.2005.09.001},
  timestamp    = {Tue, 13 Dec 2022 08:56:12 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MizunoMKKAY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}