@inproceedings{brandauer15sfm,
  author    = {Stephan Brandauer and Elias Castegren and Dave Clarke and
               Kiko Fernandez{-}Reyes and Einar Broch Johnsen and Ka I. Pun and
               S.\ Lizeth {Tapia Tarifa} and Tobias Wrigstad and Albert Mingkun Yang},
  title     = {Parallel Objects for Multicores: {A} Glimpse at the Parallel Language {E}ncore},
  editor    = {Marco Bernardo and Einar Broch Johnsen},
  booktitle = {Formal Methods for Multicore Programming ({SFM} 2015)},
  pages     = {1--56},
  series    = {Lecture Notes in Computer Science},
  volume    = {9104},
  publisher = {Springer},
  year      = {2015},
}