ByteJTA is a distributed transaction manager based on the XA/2PC mechani...
Distributed Separation Logic: a framework for compositional verification...