Peer to peer and distributed computing (abstract)
Abstract
No abstract available.
DOI 10.1145/379539.379594
Related papers
- Peer-to-peer affine commitment using bitcoin PLDI 2015
- Hierarchical Distributed Reference Counting ISMM 1998
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms POPL 2017
- Implementability of Global Distributed Protocols Modulo Network Architectures PLDI 2026
- Separation of powers in the cloud: where applications and users become peers Onward! 2015
- Compositional Design, Implementation, and Verification of Swarms ECOOP 2026
- Dynamic multirole session types POPL 2011
- Multiparty asynchronous session types POPL 2008