Reasoning about multi-process systems with the box calculus

Research output: Chapter in Book/Report/Conference proceedingChapter

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
Michaelson, Gregory John ; Grov, Gudmund. / Reasoning about multi-process systems with the box calculus. Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers. editor / Viktoria Zsok ; Zoltan Horvath ; Rinus Plasmeijer. Vol. LNCS6241 Springer, 2012. pp. 279-338
@inbook{d363bf0f0bec44dbbf4796a2705d1221,
title = "Reasoning about multi-process systems with the box calculus",
author = "Michaelson, {Gregory John} and Gudmund Grov",
year = "2012",
month = "7",
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",

}

Michaelson, GJ & 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, Springer, pp. 279-338. https://doi.org/10.1007/978-3-642-32096-5_6

Reasoning about multi-process systems with the box calculus. / Michaelson, Gregory John; Grov, Gudmund.

Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers. ed. / Viktoria Zsok; Zoltan Horvath; Rinus Plasmeijer. Vol. LNCS6241 Springer, 2012. p. 279-338.

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Reasoning about multi-process systems with the box calculus

AU - Michaelson, Gregory John

AU - Grov, Gudmund

PY - 2012/7

Y1 - 2012/7

U2 - 10.1007/978-3-642-32096-5_6

DO - 10.1007/978-3-642-32096-5_6

M3 - Chapter

SN - 978-3642320958

VL - LNCS6241

SP - 279

EP - 338

BT - Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers

A2 - Zsok, Viktoria

A2 - Horvath, Zoltan

A2 - Plasmeijer, Rinus

PB - Springer

ER -

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