Concurrency without toil: A systematic method for parallel program design

DOI10.1016/0167-6423(93)90007-CzbMath0781.68055OpenAlexW1977264549MaRDI QIDQ685624

E. Pascal Gribomont

Publication date: 17 February 1994

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(93)90007-c

zbMATH Keywords

concurrent systemsinvariant method

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Related Items (1)

Simplification of boolean verification conditions

This page was built for publication: Concurrency without toil: A systematic method for parallel program design