Vadim Plakhtinskiy

I am interested in distributed system, concurrency, TLA+ and databases

Results 1 repositories owned by


Vadim Plakhtinskiy

Arrival

16

Stars

4

Forks

Watchers

How to use TLA+ / TLA+ specification of the ClickHouse replication protocol

distributed-systems