Search Results - "Computing methodologies → Distributed programming languages"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    VeriFx: Correct Replicated Data Types for the Masses (Artifact)

    Authors: De Porre, Kevin Ferreira, Carla Gonzalez Boix, Elisa et al.

    Contributors: De Porre, Kevin Ferreira, Carla Gonzalez Boix, Elisa et al.

    Subject Terms: distributed systems, eventual consistency, Computing methodologies → Distributed programming languages, ddc:004, Software and its engineering → Domain specific languages, Theory of computation → Distributed algorithms, verification, replicated data types

    File Description: application/pdf

    Access URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.19

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List

Search Tools: