Papers on Mechanized Theory of Event Structures Mechanized Theory of Event Structures: A Case of Parallel Register Machine. Gladstein, V., Mikhailovskii, D., Moiseenko, E., Trunov, A. SYRCoSE'21