Concurrent common knowledge: Defining agreement for asynchronous systems (Q1200914)

From MaRDI portal





scientific article; zbMATH DE number 95899
Language Label Description Also known as
English
Concurrent common knowledge: Defining agreement for asynchronous systems
scientific article; zbMATH DE number 95899

    Statements

    Concurrent common knowledge: Defining agreement for asynchronous systems (English)
    0 references
    0 references
    0 references
    16 January 1993
    0 references
    distributed systems
    0 references
    asynchronous communication
    0 references
    agreement protocols
    0 references
    modal logic
    0 references

    Identifiers