Blog
About

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

      Distributed Simulation: A Case Study in Design and Verification of Distributed Programs

      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 5

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

          An axiomatic proof technique for parallel programs I

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

            Program development by stepwise refinement

             Niklaus Wirth (1971)
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              On-the-fly garbage collection: an exercise in cooperation

                Bookmark

                Author and article information

                Journal
                IEEE Transactions on Software Engineering
                IIEEE Trans. Software Eng.
                Institute of Electrical and Electronics Engineers (IEEE)
                0098-5589
                September 1979
                September 1979
                : SE-5
                : 5
                : 440-452
                Article
                10.1109/TSE.1979.230182
                © 1979
                Product

                Comments

                Comment on this article