@phdthesis{Decker2010,
  author      = {Gero Decker},
  title       = {Design and analysis of process choreographies},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t Potsdam},
  year        = {2010},
}