Blog
About

4
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Book Chapter: found
      Is Open Access

      Concurrent Kleene Algebra: Free Model and Completeness

      Read this book at

      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references 11

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

          A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events

           D. Kozen (1994)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            The equational theory of pomsets

             Jay Gischer (1988)
              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Concurrent Kleene Algebra

                Bookmark

                Author and book information

                Book
                978-3-319-89883-4
                978-3-319-89884-1
                2018
                10.1007/978-3-319-89884-1
                Book Chapter
                2018
                April 14 2018
                : 856-882
                10.1007/978-3-319-89884-1_30

                Comments

                Comment on this book

                Book chapters

                Similar content 5,128

                Cited by 4