Reasoning about multi-process systems with the box calculus

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationCentral European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
EditorsViktoria Zsok, Zoltan Horvath, Rinus Plasmeijer
PublisherSpringer
Pages279-338
Number of pages59
VolumeLNCS6241
ISBN (Electronic)978-3-642-32096-5
ISBN (Print)978-3642320958
DOIs
Publication statusPublished - Jul 2012

Cite this

Michaelson, G. J., & Grov, G. (2012). Reasoning about multi-process systems with the box calculus. In V. Zsok, Z. Horvath, & R. Plasmeijer (Eds.), Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers (Vol. LNCS6241, pp. 279-338). Springer. https://doi.org/10.1007/978-3-642-32096-5_6