Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives

Paper presented at the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022)