15
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      An introduction to assertional reasoning for concurrent systems

      ACM Computing Surveys

      Association for Computing Machinery (ACM)

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Author and article information

          Journal
          ACM Computing Surveys
          ACM Comput. Surv.
          CSUR
          Association for Computing Machinery (ACM)
          03600300
          September 1 1993
          : 25
          : 3
          : 225-262
          Article
          10.1145/158439.158441
          © 1993

          Comments

          Comment on this article