Networcat: applying analysis techniques of shared memory software on message-passing distributed systems. - Bajczi, Levente; Molnár, Vince (Software & Systems Modeling, 2025)