RPC

RPC Calculi

A Polymorphic RPC calculus SCP 2020
Authors: Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
A theory of RPC calculi for client-server model JFP 2019
Authors: Kwanghoon Choi, Byeong-Mo Chang
Links: Web Programming Without Tiers FMCO 2006
Authors: Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop

Semantics / Compilation

A Typed Slicing Compilation of the Polymorphic RPC calculus PPDP 2021
Authors: Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
Semantics for Communication Primitives in an Polymorphic Language POPL 1993
Authors: Atsushi Ohori, Kazuhiko Kato
A Unified Semantics for Future Erlang Erlang Workshop 2010
Authors: Hans Svensson, Lars-Ake Fredlund, Clara Benac Earle
Programming Distributed Computing Systems: A Foundational Approach MIT Press
Authors: Carlos A. Varela

Choreographic programming

ScalaLoci

Multiparty languages: The Choreographic and Multitier Cases ECOOP 2021
Authors: Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger
Multitier modules ECOOP 2019
Authors: Pascal Weisenburger, Guido Salvaneschi
Distributed system development with ScalaLoci OOPSLA 2018
Authors: Pascal Weisenburger, Mirko Köhler, Guido Salvaneschi

Actors and Multitier PLs

Bridging between Active Objects : Multitier Programming for Distributed, Concurrent Systems Active Object Languages: Current Research Trends, LNCS, Vol. 14360, 2024
Authors: Guido Salvaneschi, Pascal Weisenburger
43 years of actors: a taxonomy of actor models and their key properties. AGERE 2016
Authors: Joeri De Koster, Tom Van Cutsem, and Wolfgang De Meuter
A Survey of Active Object Languages ACM Comput. Surv
Authors: Frank De Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, and Albert Mingkun Yang
Making reliable distributed systems in the presence of sodware errors Ph.D. Thesis, KTH, 2003
Authors: Joe Armstrong

Programming Language/Software

PolyRPC
Links
ScalaLoci
Choral
HasChor
Haskell Distributed Computing
Cloud Haskell
Scala Actors: Unifying thread-based and event-based programming Theoretical Computer Science, Vol.410, No.2-3, 2009
Authors: P. Haller and M. Odersky
Programming Models for Distributed Computation by Heather Miller and her students in CS7680 Special Topics in Computing Systems, a course at Northeastern University
Distributed Programming in Argus by B. Liskov
Distribution and Abstract Types in Emerald by A.Black, N. Hutchinson, E. Jul, H. Levy, and L.Carter
The Linda alternative to message-passing systems by N.J. Carriero, D. Gelernter, T.G. Mattson, and A.H. Sherman
Towards Haskell in the Cloud by J. Epstein, A.P. Black, and S.P. Jones
Lasp: A Language for Distributed, Coordination-Free Programming by C. Meiklejohn and P.V. Roy

Applications of Multitier Programming

Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations ECOOP 2018
Authors: Aseem Rastogi, Matthew A. Hammer, Michael Hicks
A domain-specific programming language for secure multiparty computation PLAS 2007
Authors: Janus Dam Nielsen, Michael I. Schwartzbach
Secure program partitioning ACM Trans. on Computer Systems, Vol.20, No.3, 2002
Authors: Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers
Tierless programming and reasoning for software-defined networks USENIX NSDI 2014
Authors: Tim Nelson, Andrew D. Ferguson, Michael J.G. Scheer, and Shriram Krishnamurthi