Formal verification of a programming logic for a distributed programming language
scientific article; zbMATH DE number 1281128
scientific article