Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems.

Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal

Browse the full ESOP paper archive.