Marit Edna Ohlenbusch

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Message Passing

Derivation Rules

Fault Tolerance

Distributed Systems

Top Venues

Publications

Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. ESOP (2020)