Safe Session-Based Concurrency with Shared Linear State - Rocha, Pedro (2023)
Publisher Copyright: © 2023, The Author(s).