@inbook{d363bf0f0bec44dbbf4796a2705d1221,
title = "Reasoning about multi-process systems with the box calculus",
author = "Michaelson, \{Gregory John\} and Gudmund Grov",
year = "2012",
month = jul,
doi = "10.1007/978-3-642-32096-5\_6",
language = "English",
isbn = "978-3642320958 ",
volume = "LNCS6241",
pages = "279--338",
editor = "Zsok, \{Viktoria \} and Zoltan Horvath and Rinus Plasmeijer",
booktitle = "Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers",
publisher = "Springer",
}