In our model, called statically bounded region serializability (SBRS), regions are synchronization free, intraprocedural, and acyclic [31].
regions are bounded at synchronization operations, method calls, and loop back edges.