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

      Issues in the design of a parallel object-oriented language

      Formal Aspects of Computing

      Springer Nature

      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

          Most cited references 27

          • Record: found
          • Abstract: not found
          • Article: not found

          An axiomatic basis for computer programming

           C. Hoare (1969)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            The cosmic cube

             Charles Seitz (1985)
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              An axiomatic proof technique for parallel programs I

                Bookmark

                Author and article information

                Journal
                Formal Aspects of Computing
                Formal Aspects of Computing
                Springer Nature
                0934-5043
                1433-299X
                March 1989
                March 1989
                : 1
                : 1
                : 366-411
                Article
                10.1007/BF01887214
                © 1989
                Product

                Comments

                Comment on this article