Sami Evangelista, Laure Petrucci, Lars Michael Kristensen. Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. In 26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022, Hiroshima, Japan, March 26-30, 2022. pages 107-116, IEEE, 2022. [doi]
Abstract is missing.