Barrier synchronisation: Axiomatisation and relaxation

From MaRDI portal

Publication:1882787

Jump to:navigation, search

zbMath1084.68021MaRDI QIDQ1882787

Alan Stewart, Maurice Clint, Joaquim Gabarró

Publication date: 1 October 2004

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

Hoare logic High performance computing BSP Global synchronisation Operation relaxation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

A programming model for BSP with partitioned synchronisation

This page was built for publication: Barrier synchronisation: Axiomatisation and relaxation

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1882787&oldid=14281292"