2 docs tagged with "concurrency"

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

Learn how Stronghold was analyzed to prevent deadlocks from happening.