Blog
About

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

      A fully abstract semantics of classes for Object-Z

      Formal Aspects of Computing

      Springer Science and Business Media LLC

      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 13

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

          LCF considered as a programming language

           G.D. Plotkin (1977)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            A Theory of Communicating Sequential Processes

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

              Specification-oriented semantics for Communicating Processes

                Bookmark

                Author and article information

                Journal
                Formal Aspects of Computing
                Formal Aspects of Computing
                Springer Science and Business Media LLC
                0934-5043
                1433-299X
                May 1995
                April 21 2015
                May 1995
                : 7
                : 3
                : 289-313
                Article
                10.1007/BF01211075
                © 1995

                Comments

                Comment on this article