Dynamic synchrony among atomic actions
- 1 June 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Parallel and Distributed Systems
- Vol. 4 (6) , 677-685
- https://doi.org/10.1109/71.242155
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Reasoning about synchronic groupsPublished by Springer Nature ,1992
- Stepwise refinement of parallel algorithmsScience of Computer Programming, 1990
- Mixed programming metaphors in a shared dataspace model of concurrencyIEEE Transactions on Software Engineering, 1990
- Distributed cooperation with action systemsACM Transactions on Programming Languages and Systems, 1988
- A Methodology for Developing Distributed ProgramsIEEE Transactions on Software Engineering, 1987
- Electing a leader in a synchronous ringJournal of the ACM, 1987
- An O ( n log n ) Unidirectional Algorithm for the Circular Extrema ProblemACM Transactions on Programming Languages and Systems, 1982
- Decentralized extrema-finding in circular configurations of processorsCommunications of the ACM, 1980
- An improved algorithm for decentralized extrema-finding in circular configurations of processesCommunications of the ACM, 1979
- Communicating sequential processesCommunications of the ACM, 1978