27
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Is Open Access
      Security Protocols : 7th International Workshop, Cambridge, UK, April 19-21, 1999. Proceedings 

      Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude

      other

      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 references32

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

          The serializability of concurrent database updates

            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            Transactional storage for geo-replicated systems

              Bookmark
              • Record: found
              • Abstract: not found
              • Conference Proceedings: not found

              IronFleet

                Bookmark

                Author and book information

                Book Chapter
                2019
                April 03 2019
                : 40-57
                10.1007/978-3-030-17465-1_3
                e06006bc-30c6-4980-8e4f-0e3dd854068c
                History

                Comments

                Comment on this book

                Book chapters

                Similar content5,664

                Cited by1