Reasoning about multi-process systems with the box calculus

Gregory John Michaelson; Gudmund Grov

doi:10.1007/978-3-642-32096-5_6

Reasoning about multi-process systems with the box calculus

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
Editors	Viktoria Zsok, Zoltan Horvath, Rinus Plasmeijer
Publisher	Springer
Pages	279-338
Number of pages	59
Volume	LNCS6241
ISBN (Electronic)	978-3-642-32096-5
ISBN (Print)	978-3642320958
DOIs	https://doi.org/10.1007/978-3-642-32096-5_6
Publication status	Published - Jul 2012

Access to Document

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

Cite this

@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",

}

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 proceeding › Chapter

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

UR - https://www.scopus.com/pages/publications/84865000652

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

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

M3 - Chapter

AN - SCOPUS:84865000652

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 -

Reasoning about multi-process systems with the box calculus

Access to Document

Other files and links

Cite this