sémaphore

Provenance

• #18 concurrency-async concept_map 2026-06-24 maps haskell/QSem → concept semaphore
• #28 sealion-refinement concept_map 2026-07-19 maps haskell/QSem → concept semaphore winning layer

Concept semaphore

Brain 1.1.0-alpha.13 · Open in explorer → · Discuss on the NADA forum →