@inproceedings{LL16,
  author    = {Matias David Lee and
               Bas Luttik},
  title     = {Unique Parallel Decomposition for the Pi-calculus},
  booktitle = {Proceedings Combined 23rd International Workshop on Expressiveness
               in Concurrency and 13th Workshop on Structural Operational Semantics,
               {EXPRESS/SOS} 2016, Qu{\'{e}}bec City, Canada, 22nd August 2016.},
  pages     = {45--59},
  year      = {2016},
  crossref  = {EXPRESSSOS16},
  url       = {http://dx.doi.org/10.4204/EPTCS.222.4},
  doi       = {10.4204/EPTCS.222.4},
  timestamp = {Tue, 04 Oct 2016 13:08:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/LeeL16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{EXPRESSSOS16,
  editor    = {Daniel Gebler and
               Kirstin Peters},
  title     = {Proceedings Combined 23rd International Workshop on Expressiveness
               in Concurrency and 13th Workshop on Structural Operational Semantics,
               {EXPRESS/SOS} 2016, Qu{\'{e}}bec City, Canada, 22nd August 2016},
  series    = {{EPTCS}},
  volume    = {222},
  year      = {2016},
  url       = {http://dx.doi.org/10.4204/EPTCS.222},
  doi       = {10.4204/EPTCS.222},
  timestamp = {Tue, 04 Oct 2016 13:08:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/GeblerP16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}