kirancodes.me
To Proof Maintenance & Beyond!

Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift

Ivan Kuraj, Daniel Jackson

Abstract

Despite many advances in programming models and frameworks, writing distributed applications remains hard. Even when the underlying logic is inherently sequential and simple, addressing distributed aspects results in complex cross-cutting code that undermines such simplicity.

Related papers