kirancodes.me
To Proof Maintenance & Beyond!

Encoding the building blocks of communication

Aleksandar Prokopec

Abstract

Distributed systems are often built from the simplest building blocks such as message sends and RPCs. Since many communication patterns have to be reinvented every time a distributed system is created, implementing a high-level system is usually expensive. The recently proposed reactor model alleviates this cost by expressing distributed computations as reusable components, however, encodings for various communications patterns in this model are missing.

Related papers