BibTeX record conf/tapsoft/Boudol89

• > Home > conf/tapsoft/Boudol89

@inproceedings{DBLP:conf/tapsoft/Boudol89,
  author       = {G{\'{e}}rard Boudol},
  editor       = {Josep D{\'{\i}}az and
                  Fernando Orejas},
  title        = {Towards a Lambda-Calculus for Concurrent and Communicating Systems},
  booktitle    = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
                  and Practice of Software Development, Barcelona, Spain, March 13-17,
                  1989, Volume 1: Advanced Seminar on Foundations of Innovative Software
                  Development {I} and Colloquium on Trees in Algebra and Programming
                  (CAAP'89)},
  series       = {Lecture Notes in Computer Science},
  volume       = {351},
  pages        = {149--161},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-50939-9\_130},
  doi          = {10.1007/3-540-50939-9\_130},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/Boudol89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}