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

      Verifying properties of parallel programs: an axiomatic approach

      ,

      Communications of the ACM

      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
          Communications of the ACM
          Commun. ACM
          Association for Computing Machinery (ACM)
          00010782
          May 1976
          : 19
          : 5
          : 279-285
          Article
          10.1145/360051.360224
          6773cb7a-7e12-4e7a-8a44-1f03611f00b2

          Comments

          Comment on this article