A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A formalisation of violation, error recovery, and enforcement in the bit transmission problem
scientific article

    Statements

    A formalisation of violation, error recovery, and enforcement in the bit transmission problem (English)
    0 references
    0 references
    0 references
    6 August 2004
    0 references
    Knowledge representation
    0 references
    Epistemic logic
    0 references
    Deontic logic
    0 references
    Multiagent systems
    0 references
    Communication protocols
    0 references

    Identifiers