Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks.

Sami Evangelista, Laure Petrucci, Lars Michael Kristensen

Browse the full ICECCS paper archive.