« Home

Reference. A Science of Concurrent Programs [lamport2024]