Registered user since Mon 5 Nov 2018
Name:Marco Peressotti
Country:Denmark
Affiliation:University of Southern Denmark
Personal website: https://marcoperessotti.com
Research interests:Programming Languages, Concurrency Theory, Distributed Systems
Contributions
2024
Choreographic Programming
- Session Chair of Welcome and Keynote (part of Choreographic Programming 2024)
- Choreographies meet Communication Failures
- Committee Member in Organizing Committee within the Choreographic Programming 2024-track
- A Propositional Dynamic Logic for Choreographies
- Opening
- Closing
- Session Chair of Libraries (part of Choreographic Programming 2024)
PLDI 2024-profile
View general profile
View general profile