Browse Research and Tech Reports - Computer Science by Subject "formal analysis"

  • Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, Jose; Olveczky, Peter C.; Skeirik, Stephen (2017-06-28)
    To deal with large amounts of data while offering high availability, throughput and low latency, cloud computing systems rely on distributed, partitioned, and replicated data stores. Such cloud storage systems ...

    application/pdf

    application/pdfPDF (1MB)
  • AlTurki, Musab; Meseguer, José (2010-04)
    Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc, including a rewriting logic semantics developed ...

    application/pdf

    application/pdfPDF (472kB)