Concurrent Systems – prof. Daniele Gorla

Computer Science - Informatica · Sapienza Università di Roma · 1º anno · 2º semestre · 6 CFU · a scelta (Gruppo B - Caratterizzanti) · canale unico

Testi d'esame di Concurrent Systems del prof. Daniele Gorla, canale unico, corso di laurea in Computer Science - Informatica (Laurea magistrale (LM-18)), Sapienza Università di Roma, 1º anno · 2º semestre · 6 CFU · a scelta (Gruppo B - Caratterizzanti), a.a. 2026/2027. Libri adottati: Raynal – Concurrent Programming; Milner – Communicating and Mobile Systems; Smolka – In Encyclopedia of Electrical Engineering; Parrow – An Introduction to the pi-Calculus, pages 479-543; Milner – The Polyadic pi-Calculus.

Concurrent Systems – Prof. Daniele Gorla Canale unico

Il docente consiglia di frequentare

Corso di laurea: Computer Science - Informatica · Laurea magistrale (LM-18) · 1º anno · 2º semestre · 6 CFU · a scelta (Gruppo B - Caratterizzanti) / 1º anno · 2º semestre · 6 CFU · a scelta (Gruppo C - Affini) / 2º anno · 2º semestre · 6 CFU · a scelta (Gruppo B - Caratterizzanti) / 2º anno · 2º semestre · 6 CFU · a scelta (Gruppo C - Affini)

Sapienza · Ingegneria dell'informazione, informatica e statistica · 6 CFU · apri nel catalogo

Il docente indica 5 testi · da studiare tutti

Raynal – Concurrent Programming Vai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026

Milner – Communicating and Mobile Systems Vai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026

Smolka – In Encyclopedia of Electrical Engineering Vai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026

Parrow – An Introduction to the pi-Calculus, pages 479-543 Vai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026

Milner – The Polyadic pi-Calculus Vai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: The course is split into 3 parts: The first part studies foundational problems of concurrent systems: - sequential vs concurrent programs - Process synchronization (competition vs cooperation) - Safety and liveness properties; a hierarchy of liveness properties (deadlock freedom, starvation freedom, bounded bypass) - Mutual exclusion: atomic registers (algorithms by Peterson and Lamport; how to obtain a starvation…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Altre materie del prof. Gorla

Foundations Of Computer Science · Applied Computer Science and Artificial Intelligence – Informatica Applicata e Intelligenza Artificiale · 3º anno · 1º semestre · 6 CFU
Automi Calcolabilita' e Complessita' · Informatica – erogato in modalità prevalentemente a distanza · 3º anno · 1º semestre · 6 CFU

Altri esami del 1º anno – Computer Science - Informatica

Advanced Architectures · 2º semestre · Annalisa Massini
Advanced Software Engineering · 2º semestre · Paolo Gaspare Bottoni
Cloud Computing · 2º semestre · Emiliano Casalicchio
Logics And Reasoning · 2º semestre · Giuseppe Perelli
Natural Language Processing · 2º semestre · Iacopo Masi, Stefano Faralli
Advanced Machine Learning · 1º semestre · Fabio Galasso
Biometric Systems · 1º semestre · Maria De Marsico
Computational Complexity · 1º semestre · Massimo Lauria
Cryptography · 1º semestre · Daniele Venturi
Quantum Computing · 1º semestre · Paolo Zuliani

Vedi anche: Prof. Daniele Gorla · Concurrent Systems a Sapienza (tutti i canali)