The power of multi-objects (extended abstract)
From MaRDI portal
Publication:2942734
DOI10.1145/248052.248096zbMath1321.68056OpenAlexW1993067035MaRDI QIDQ2942734
Gadi Taubenfeld, Yehuda Afek, Michael Merritt
Publication date: 11 September 2015
Published in: Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/248052.248096
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed algorithms (68W15)
Related Items (1)
This page was built for publication: The power of multi-objects (extended abstract)