Researcher profile
Marina Papatriantafilou
2 papers in the PaperMetrix corpus
Publications
Papers by this author
-
Haren
2019
In modern Stream Processing Engines (SPEs), numerous diverse applications, which can differ in aspects such as cost, criticality or latency sensitivity, can co-exist in the same computational node. When these differences need to be considered …
-
Distributed Ledger Register: From Safe to Atomic
2019 · HAL (Le Centre pour la Communication Scientifique Directe)
This paper continues the recent line of academic effort dedicated to formalizing distributed ledgers. This work is the first one to propose a specification of distributed ledger register that matches the Lamport hierarchy from safe …