Paper: Multiparty Languages: The Choreographic and
Multitier Cases
Abstract
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.
Video
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: https://www.youtube.com/watch?v=bXPz_pR8Or4
00:45:47 Paul Borrill: Papers we Love: Lamport’s Unfinished revolution : https://speakerdeck.com/pborrill/time-clocks-and-the-reordering-of-events-pwl-san-francisco-14-jul-2016
00:50:13 Zeeshan Lakhani: https://www.youtube.com/watch?v=teTroOAGZjM&t=22512s
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: https://github.com/Munksgaard/session-types
01:04:05 Zeeshan Lakhani: https://munksgaard.me/papers/laumann-munksgaard-larsen.pdf
01:05:55 Paul Borrill: We have Pat Helland coming up next week on the Its About Time Podcast. https://itsabouttime.club
01:07:54 Blaise Pabon: https://groups.inf.ed.ac.uk/abcd/session-implementations.html
01:08:12 Blaise Pabon: Reacted to "We have Pat Helland ..." with 👍