On the semantics of distributed reactive programming: the cost of consistency
A Margara, G Salvaneschi - IEEE Transactions on Software …, 2018 - ieeexplore.ieee.org
The reactive programming paradigm aims to simplify the development of reactive systems. It
provides abstractions to define time-changing values that are automatically updated by the …
provides abstractions to define time-changing values that are automatically updated by the …
Synthesis-Aided Development of Distributed Programs
I Kuraj - 2024 - dspace.mit.edu
Despite many advances in programming models and frameworks, writing distributed
programs remains hard. Even when the underlying logic is inherently sequential and simple …
programs remains hard. Even when the underlying logic is inherently sequential and simple …