A modal logic for message passing processes
scientific article; zbMATH DE number 778293