Towards an understanding of unbounded variables in asynchronous systems (Q1198014)

From MaRDI portal





scientific article; zbMATH DE number 92085
Language Label Description Also known as
default for all languages
No label defined
    English
    Towards an understanding of unbounded variables in asynchronous systems
    scientific article; zbMATH DE number 92085

      Statements

      Towards an understanding of unbounded variables in asynchronous systems (English)
      0 references
      0 references
      16 January 1993
      0 references
      concurrency
      0 references
      program derivation
      0 references
      unbounded variables
      0 references
      asynchronous wait- free low-atomicity systems
      0 references
      bounded variables
      0 references
      hierarchical construction of atomic registers
      0 references

      Identifiers