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

      Multiparty Asynchronous Session Types

      , ,
      Journal 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

          Most cited references96

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

          Linear logic

            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            Language primitives and type discipline for structured communication-based programming

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

              Subtyping for session types in the pi calculus

                Bookmark

                Author and article information

                Journal
                Journal of the ACM
                J. ACM
                Association for Computing Machinery (ACM)
                00045411
                March 30 2016
                March 03 2016
                : 63
                : 1
                : 1-67
                Article
                10.1145/2827695
                a9560361-3af5-4690-a5d7-c496c5066a09
                © 2016

                http://www.acm.org/publications/policies/copyright_policy#Background

                History

                Comments

                Comment on this article