March Distributed Systems Reading Group: Multiparty Languages - the Choreographic and Multitier Cases

Paper: Multiparty Languages: The Choreographic and
Multitier Cases


Choreographic languages aim to express multiparty communication protocols, by providing primitives that make interaction manifest. Multitier languages enable programming computation that spans across several tiers of a distributed system, by supporting primitives that allow computation to
change the location of execution. Rooted into different theoretical underpinnings โ€“ respectively process calculi and lambda calculus โ€“ the two paradigms have been investigated independently by different research communities with little or no contact. As a result, the link between the two paradigms has remained hidden for long.

In this paper, we show that choreographic languages and multitier languages are surprisingly similar. We substantiate our claim by isolating the core abstractions that differentiate the two approaches and by providing algorithms that translate one into the other in a straightforward way. We believe that this work paves the way for joint research and cross-fertilisation among the two communities.


Chat Log

00:38:40	Eric Tu:	paul is a physicist, i can tell
00:39:01	Blaise Pabon:	Rofl
00:40:19	Blaise Pabon:	BTW, I owned a car with a Y2K buggered registration.
I have a photo of it somewhere.
00:42:10	Eric Tu:	i wish i knew about this workinggroup earlier lol
00:43:16	Blaise Pabon:	This is the opposite of a *working group* /s
00:45:15	Paul Borrill:
00:45:47	Paul Borrill:	Papers we Love: Lamportโ€™s Unfinished revolution :
00:50:13	Zeeshan Lakhani:
00:51:19	Zeeshan Lakhani:	State of Unreal | GDC 2023 | Epic Games - ESRB: RP to M
00:56:45	Eric Tu:	you can write really cool language extentsion in Racket as well
00:59:16	Blaise Pabon:	What was the scheme dialect used at Cisco?
01:00:46	Zeeshan Lakhani:	Chez scheme
01:00:56	Blaise Pabon:	These links will get lost when the meeting closes ๐Ÿ˜ฅ
01:01:07	Blaise Pabon:	Reacted to "Chez scheme" with ๐Ÿ‘
01:03:50	Zeeshan Lakhani:
01:04:05	Zeeshan Lakhani:
01:05:55	Paul Borrill:	We have Pat Helland coming up next week on the Its About Time Podcast.
01:07:54	Blaise Pabon:
01:08:12	Blaise Pabon:	Reacted to "We have Pat Helland ..." with ๐Ÿ‘