First-Order Store and Visibility in Name-Passing Calculi. - Daniel Hirschkoff; Iwan Quémerais; Davide Sangiorgi (CONCUR, 2025)