BibTeX record journals/entcs/ColbyJJLP98

• > Home > journals/entcs/ColbyJJLP98

@inproceedings{DBLP:journals/entcs/ColbyJJLP98,
  author       = {Christopher Colby and
                  Lalita Jategaonkar and
                  Radha Jagadeesan and
                  Konstantin L{\"{a}}ufer and
                  Carlos Puchol},
  editor       = {Rance Cleaveland and
                  Michael W. Mislove and
                  Philip S. Mulry},
  title        = {The Semantics of Triveni: {A} Process-Algebraic {API} for Threads
                  + Events},
  booktitle    = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
                  Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
                  November 13-16, 1997},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {14},
  pages        = {107--133},
  publisher    = {Elsevier},
  year         = {1997},
  url          = {https://doi.org/10.1016/S1571-0661(05)80233-6},
  doi          = {10.1016/S1571-0661(05)80233-6},
  timestamp    = {Fri, 11 Nov 2022 13:59:56 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ColbyJJLP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}