Comment Comment by ashton314 Also: is this actually a choreography? Or are you doing runtime monitoring to ensure deadlock freedom? parent ashton314 20 days ago
