Awesome Open Source

Programming Languages

Search results for distributed systems two phase commit

distributed-systems x

two-phase-commit x

2 search results found

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

Committer ⭐ 26

Two-phase (2PC) and three-phase (3PC) protocols implementaion in Golang

Distributed System ⭐ 9

Creative and educational project for distributed system

Related Searches

Golang Distributed Systems (341)

Java Distributed Systems (296)

Javascript Distributed Systems (115)

Algorithms Distributed Systems (52)

Elixir Distributed Systems (43)

Concurrent Distributed Systems (21)

Distributed Systems Leader Election (13)

State Machine Distributed Systems (12)

Distributed Systems Coq (7)

Webrtc Distributed Systems (4)

1-2 of 2 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.