Pomsets with Transformers
Coq materials for Verification School @ Sirius’21
Seminar on events structures (in Russian)