Concurrency in StrongholdLearn about Stronghold as a concurrent software, the actor model STM with TL2 and RLU.