skip to main content
article
Free Access

Corrigendum: “A New Approach to Proving the Correctness of Multiprocess Programs”

Published:01 January 1980Publication History

Abstract

No abstract available.

Index Terms

  1. Corrigendum: “A New Approach to Proving the Correctness of Multiprocess Programs”

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            • Published in

              cover image ACM Transactions on Programming Languages and Systems
              ACM Transactions on Programming Languages and Systems  Volume 2, Issue 1
              Jan. 1980
              134 pages
              ISSN:0164-0925
              EISSN:1558-4593
              DOI:10.1145/357084
              Issue’s Table of Contents

              Copyright © 1980 ACM

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 1 January 1980
              Published in toplas Volume 2, Issue 1

              Permissions

              Request permissions about this article.

              Request Permissions

              Check for updates

              Qualifiers

              • article

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader
            About Cookies On This Site

            We use cookies to ensure that we give you the best experience on our website.

            Learn more

            Got it!