DiscoverType Theory Forall#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

Update: 2024-08-29
Share

Description

In this episode we talk with Fabrizio Montesi, a Full Professor at the University of South Denmark. He is one of the creators of the Jolie Programming Language, President of the Microservices Community and Author of the book 'Introduction to Choreographies'. In today’s episode we talk about the formal side of Distributed Sytems, session types, the calculi that model distributed systems, their type systems, their Curry-Howard correspondences, and all the main ideas around these concepts.


Links


Comments 
In Channel
loading
00:00
00:00
x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

Pedro Abreu