Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa. Proving Correctness of Parallel Implementations of Transition System Models. ACM Transactions on Programming Languages and Systems, 46(3), September 2024. [doi]
Abstract is missing.