Linearizability Alone Is Not Enough for Strict FIFO Semantics. - Ryan Huard; Md Sabbir Hossain Polak; Joshua Jurgenson; David Troendle; Byunghyun Jang (ISPASS, 2026)