38
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

      other

      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 references19

          • 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 Chapter
                2014
                : 22-36
                10.1007/978-3-662-45231-8_3
                55eb2da4-205d-4cef-82d2-7376548b7c65
                History

                Comments

                Comment on this book

                Book chapters

                Similar content2,053

                Cited by2