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

From MaRDI portal





scientific article; zbMATH DE number 2083328
Language Label Description Also known as
default for all languages
No label defined
    English
    A formalisation of violation, error recovery, and enforcement in the bit transmission problem
    scientific article; zbMATH DE number 2083328

      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