Fig. 1From: 2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platformTLA+ result with running in TLCBack to article page