9
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 

      Fault Model Design Space for Cooperative Concurrency

      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 references 19

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

          A survey of rollback-recovery protocols in message-passing systems

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

            MULTILISP: a language for concurrent symbolic computation

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

              ABS: A Core Language for Abstract Behavioral Specification

                Bookmark

                Author and book information

                Book
                978-3-662-45230-1
                978-3-662-45231-8
                2014
                10.1007/978-3-662-45231-8
                Book Chapter
                2014
                : 22-36
                10.1007/978-3-662-45231-8_3

                Comments

                Comment on this book

                Book chapters

                Similar content 2,905

                Cited by 2