Seminar by Emilio Tuosto

Date: April 21, 3pm Place: GSSI Main Lecture Hall Speaker: Prof. Emilio Tuosto Title: Choreographies for Communicating Systems. An overview and some future directions Abstract: Communicating and distributed systems are notoriously difficult to design, implement, and verify. The problems that affect the realisation of traditional software are amplified by the effects produced by concurrency and […]

Continue reading