58
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      CONCUR’99 Concurrency Theory 

      Testing Concurrent Systems: A Formal Approach

      other
      Springer Berlin Heidelberg

      Read this book at

      Publisher
      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 references15

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

          Principles and methods of testing finite state machines-a survey

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

            Algebra of communicating processes with abstraction

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

              The linear time - branching time spectrum

                Bookmark

                Author and book information

                Book Chapter
                1999
                April 19 2002
                : 46-65
                10.1007/3-540-48320-9_6
                470ece9f-8f71-4788-b7e0-480c7ed0e3d4
                History

                Comments

                Comment on this book

                Book chapters

                Similar content2,605

                Cited by15