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

      Affine Refinement Types for Secure Distributed Programming

      , , ,
      ACM Transactions on Programming Languages and Systems
      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 references34

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

          Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

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

            Functions as processes

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

              The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols

                Bookmark

                Author and article information

                Journal
                ACM Transactions on Programming Languages and Systems
                ACM Trans. Program. Lang. Syst.
                Association for Computing Machinery (ACM)
                01640925
                August 13 2015
                August 13 2015
                : 37
                : 4
                : 1-66
                Article
                10.1145/2743018
                73a762ad-0785-4533-b020-e0723f0cfdfb
                © 2015

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

                History

                Comments

                Comment on this article