@INPROCEEDINGS{CMAN,
  author = {J.C. Godskesen},
  title = {A Calculus for Mobile Ad Hoc Networks},
  pages = {132--150},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/coordination/2007},
  ee = {http://dx.doi.org/10.1007/978-3-540-72794-1_8}
}

@INPROCEEDINGS{GP93,
  author = {J.F. Groote and A. Ponse},
  title = {Proof Theory for $\mu${CRL}: A Language for Processes with Data},
  booktitle = {Semantics of Specification Languages},
  year = {1993},
  pages = {232-251},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/sosl/1993}
}