A History-based Verification of Distributed Applications.

Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan

Browse the full CADE paper archive.