Module busy_forbidden

Structs

• BfTermPool
  Provides access to the mCRL2 busy forbidden protocol, where there are thread local busy flags and one central storage for the forbidden flags. Care must be taken to avoid deadlocks since the FFI also uses the same flags.
• BfTermPoolRead
• BfTermPoolThreadWrite
• BfTermPoolWrite