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

Michael Butler
, Marina Waldén

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review

Originalspråk	Engelska
Titel på värdpublikation	Program Development by Refinement: Case Studies Using the B Method
Redaktörer	Emil Sekerinski, Kaisa Sere
Förlag	Springer-Verlag
Kapitel	5
Sidor	183-195
ISBN (tryckt)	978-1-85233-053-8
DOI	https://doi.org/10.1007/978-1-4471-0585-5_5
Status	Publicerad - 1999
MoE-publikationstyp	A3 Del av bok eller annan forskningsbok

Publikationsserier

Namn	Formal Approaches to Computing and Information Technology FACIT

Åtkomst av dokument

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

Citera det här

@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. red. / Emil Sekerinski; Kaisa Sere. Springer-Verlag, 1999. s. 183-195 (Formal Approaches to Computing and Information Technology FACIT ).

Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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 -