Parallel Programming with the B Method

Michael Butler, Marina Waldén

Research output: Chapter in Book/Conference proceedingChapterScientificpeer-review

Original languageEnglish
Title of host publicationProgram Development by Refinement: Case Studies Using the B Method
EditorsEmil Sekerinski, Kaisa Sere
PublisherSpringer-Verlag
Chapter5
Pages183-195
ISBN (Print)978-1-85233-053-8
DOIs
Publication statusPublished - 1999
MoE publication typeA3 Part of a book or another research book

Publication series

NameFormal Approaches to Computing and Information Technology FACIT

Cite this