2 results found Sort:

liuyangming
ByteJTA liuyangming
109
213
lgpl-3.0
34
ByteJTA is a distributed transaction manager based on the XA/2PC mechanism. It’s compatible with the JTA specification. User guide: https://github.com/liuyangming/ByteJTA/wiki
xa jta transaction spring-cloud two-phase-commit transaction-manager distributed-transactions
Created 2015-12-18
379 commits to master branch, last one 2 years ago
DistributedComponents
disel DistributedComponents
7
95
bsd-2-clause
13
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
coq proof mathcomp ssreflect coq-library separation-logic two-phase-commit distributed-systems
Created 2016-11-18
198 commits to master branch, last one 3 months ago