On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems.

Morten Khnrich, Uwe Nestmann

Browse the full FORTE paper archive.