Analysing Concurrent Queues Using CSP: Examining Java's ConcurrentLinkedQueue. - Chalmers, Kevin; Pedersen, Jan Bækgaard (Software (2674-113X), 2025)