Cited By
View all- Din CHähnle RHenrio LJohnsen EPun VTarifa S(2024)Locally Abstract, Globally Concrete Semantics of Concurrent Programming LanguagesACM Transactions on Programming Languages and Systems10.1145/364843946:1(1-58)Online publication date: 16-Feb-2024