BibTeX record conf/wotug/Murakami09

• > Home > conf/wotug/Murakami09

@inproceedings{DBLP:conf/wotug/Murakami09,
  author       = {Masaki Murakami},
  editor       = {Peter H. Welch and
                  Herman W. Roebbers and
                  Jan F. Broenink and
                  Fred R. M. Barnes and
                  Carl G. Ritson and
                  Adam T. Sampson and
                  Gardiner S. Stiles and
                  Brian Vinter},
  title        = {On Congruence Property of Scope Equivalence for Concurrent Programs
                  with Higher-Order Communication},
  booktitle    = {The thirty-second Communicating Process Architectures Conference,
                  {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
                  Netherlands, 1-6 November 2009},
  series       = {Concurrent Systems Engineering Series},
  volume       = {67},
  pages        = {49--66},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-065-0-49},
  doi          = {10.3233/978-1-60750-065-0-49},
  timestamp    = {Wed, 17 May 2017 10:54:37 +0200},
  biburl       = {https://dblp.org/rec/conf/wotug/Murakami09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}