Using mappings to prove timing properties

N. Lynch,H. Attiya

Published 1990 in ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing

ABSTRACT

No abstract is available for this paper.

PUBLICATION RECORD

  • Publication year

    1990

  • Venue

    ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing

  • Publication date

    1990-08-01

  • Fields of study

    Mathematics, Computer Science

  • Identifiers
  • External record

    Open on Semantic Scholar

  • Source metadata

    Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

  • No claims are published for this paper.

CONCEPTS

  • No concepts are published for this paper.

REFERENCES

Showing 1-35 of 35 references · Page 1 of 1

CITED BY

Showing 1-100 of 117 citing papers · Page 1 of 2