Parallel Programming with the B Method

Michael Butler; Marina Waldén

doi:10.1007/978-1-4471-0585-5_5

Parallel Programming with the B Method

Information Technology

Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review

Original language	English
Title of host publication	Program Development by Refinement: Case Studies Using the B Method
Editors	Emil Sekerinski, Kaisa Sere
Publisher	Springer-Verlag
Chapter	5
Pages	183-195
ISBN (Print)	978-1-85233-053-8
DOIs	https://doi.org/10.1007/978-1-4471-0585-5_5
Publication status	Published - 1999
MoE publication type	A3 Part of a book or another research book

Publication series

Name	Formal Approaches to Computing and Information Technology FACIT

Access to Document

10.1007/978-1-4471-0585-5_5

Cite this

@inbook{691aa0dacebc41ac80676f15989c6b99,

title = "Parallel Programming with the B Method",

author = "Michael Butler and Marina Wald{\'e}n",

year = "1999",

doi = "10.1007/978-1-4471-0585-5\_5",

language = "English",

isbn = "978-1-85233-053-8",

series = "Formal Approaches to Computing and Information Technology FACIT ",

publisher = "Springer-Verlag",

pages = "183--195",

editor = "Emil Sekerinski and Kaisa Sere",

booktitle = "Program Development by Refinement: Case Studies Using the B Method",

}

Parallel Programming with the B Method. / Butler, Michael; Waldén, Marina.
Program Development by Refinement: Case Studies Using the B Method. ed. / Emil Sekerinski; Kaisa Sere. Springer-Verlag, 1999. p. 183-195 (Formal Approaches to Computing and Information Technology FACIT ).

Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review

TY - CHAP

T1 - Parallel Programming with the B Method

AU - Butler, Michael

AU - Waldén, Marina

PY - 1999

Y1 - 1999

U2 - 10.1007/978-1-4471-0585-5_5

DO - 10.1007/978-1-4471-0585-5_5

M3 - Chapter

SN - 978-1-85233-053-8

T3 - Formal Approaches to Computing and Information Technology FACIT

SP - 183

EP - 195

BT - Program Development by Refinement: Case Studies Using the B Method

A2 - Sekerinski, Emil

A2 - Sere, Kaisa

PB - Springer-Verlag

ER -