Concurrent common knowledge: Defining agreement for asynchronous systems
scientific article; zbMATH DE number 95899
scientific article