Two algorithms for barrier synchronization
- 1 February 1988
- journal article
- research article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 17 (1) , 1-17
- https://doi.org/10.1007/bf01379320
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The butterfly barrierInternational Journal of Parallel Programming, 1986
- An approach to automating the verification of compact parallel coordination programs. IActa Informatica, 1984
- On the duality of operating system structuresACM SIGOPS Operating Systems Review, 1979
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977