weakmemory.github.io

Pomsets with Transformers

Coq materials for Verification School @ Sirius’21

Seminar on events structures (in Russian)