Fig. 5From: Verifying big data topologies by-design: a semi-automated approachConcurrency management in case of persistent data circumstancesBack to article page