Libri UniversitariZoom 100%

Prof. Daniele Gorla: i libri dei suoi insegnamenti

Scheda docente sul sito dell’ateneo ›
Insegnamenti trovati: 4
Sapienza 4 insegnamenti
Facoltà: Ingegneria dell'informazione, informatica e statistica

Prof. Daniele Gorla: Concurrent Systems

5,4difficoltà
Sapienza · Facoltà: Ingegneria dell'informazione, informatica e statistica · Computer Science - Informatica (LM-18)
Di cosa si tratta: Concetti e modelli dei sistemi concorrenti: modellazione, proprietà di liveness e safety in LTL, verifica con model checking e formalismi visuali come reti di Petri, statecharts e diagrammi di attività. Segue la programmazione concorrente multi-thread con memoria condivisa, semafori e monitor, il passaggio da thread a task e il meccanismo dei future.

Dettagli corso

1º annoCorso: LM-18
CFU: 6Canale: Unico

Tempo di studio e official info

Tempo consigliato per preparare l’esame: 13 settimane (3 mesi)
Frequenza consigliata
Dati verificati il 18/09/2026

Libri indicati per la materia

Scorri di lato: 5 libri
Raynal – Concurrent ProgrammingISBN 9783642320262
Tempo di studio del libro≈ 5,5 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
515 pagine
Difficoltà
6,9
Milner – Communicating and Mobile SystemsISBN 9780521658690
Tempo di studio del libro≈ 2 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
161 pagine
Difficoltà
4,8
Smolka – In Encyclopedia of Electrical EngineeringISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Parrow – An Introduction to the pi-Calculus, pages 479-543ISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Milner – The Polyadic pi-CalculusISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Domande possibili all’esame
  1. Che cosa si intende per concorrenza e in che cosa differisce dal parallelismo?
  2. Quali sono i problemi tipici della concorrenza come corse critiche e stallo?
  3. Che cosa si intende per sezione critica e quali requisiti deve soddisfare la sua gestione?
  4. Come funziona il meccanismo dei semafori per la sincronizzazione dei processi?
  5. Quali sono le caratteristiche dei monitor come strumento di sincronizzazione?
  6. Come si modella un problema di produttore e consumatore con la sincronizzazione?
  7. Che cosa si intende per stallo e quali condizioni sono necessarie perché si verifichi?
  8. Quali strategie si adottano per prevenire, evitare o rilevare lo stallo?
  9. Come si verifica la correttezza di un programma concorrente con le reti di Petri?
  10. Che cosa si intende per rete di Petri e quali proprietà si analizzano?
  11. Come si modella un sistema concorrente con i processi di comunicazione CSP?
  12. Quali sono le differenze tra comunicazione sincrona e asincrona tra processi?
  13. Che cosa si intende per transazione e quali proprietà ACID devono essere garantite?
  14. Come si gestisce il controllo di concorrenza nei database con il protocollo a due fasi?
  15. Quali sono i vantaggi e i rischi dei thread rispetto ai processi?
  16. Come si implementa un meccanismo di mutua esclusione con le istruzioni atomiche del processore?
  17. Che cosa si intende per starvation e come si evita nella schedulazione?
  18. Come si analizza la correttezza di un algoritmo distribuito rispetto alla sicurezza e alla vivacità?
  19. Quali modelli di programmazione si usano per la gestione della concorrenza su più core?
  20. Come si valuta la scalabilità di un sistema concorrente al crescere dei processori?

Domande di esercitazione costruite sul programma ufficiale, non fornite dal docente.

Prof. Daniele Gorla: Concurrent Systems

5,4difficoltà
Sapienza · Facoltà: Ingegneria dell'informazione, informatica e statistica · Computer Science - Informatica (LM-18)
Di cosa si tratta: Concetti e modelli dei sistemi concorrenti: modellazione, proprietà di liveness e safety in LTL, verifica con model checking e formalismi visuali come reti di Petri, statecharts e diagrammi di attività. Segue la programmazione concorrente multi-thread con memoria condivisa, semafori e monitor, il passaggio da thread a task e il meccanismo dei future.

Dettagli corso

1º annoCorso: LM-18
CFU: 6Canale: Unico

Tempo di studio e official info

Tempo consigliato per preparare l’esame: 13 settimane (3 mesi)
Frequenza consigliata
Dati verificati il 18/09/2026

Libri indicati per la materia

Scorri di lato: 5 libri
Raynal – Concurrent ProgrammingISBN 9783642320262
Tempo di studio del libro≈ 5,5 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
515 pagine
Difficoltà
6,9
Milner – Communicating and Mobile SystemsISBN 9780521658690
Tempo di studio del libro≈ 2 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
161 pagine
Difficoltà
4,8
Smolka – In Encyclopedia of Electrical EngineeringISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Parrow – An Introduction to the pi-Calculus, pages 479-543ISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Milner – The Polyadic pi-CalculusISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Domande possibili all’esame
  1. Che cosa si intende per concorrenza e in che cosa differisce dal parallelismo?
  2. Quali sono i problemi tipici della concorrenza come corse critiche e stallo?
  3. Che cosa si intende per sezione critica e quali requisiti deve soddisfare la sua gestione?
  4. Come funziona il meccanismo dei semafori per la sincronizzazione dei processi?
  5. Quali sono le caratteristiche dei monitor come strumento di sincronizzazione?
  6. Come si modella un problema di produttore e consumatore con la sincronizzazione?
  7. Che cosa si intende per stallo e quali condizioni sono necessarie perché si verifichi?
  8. Quali strategie si adottano per prevenire, evitare o rilevare lo stallo?
  9. Come si verifica la correttezza di un programma concorrente con le reti di Petri?
  10. Che cosa si intende per rete di Petri e quali proprietà si analizzano?
  11. Come si modella un sistema concorrente con i processi di comunicazione CSP?
  12. Quali sono le differenze tra comunicazione sincrona e asincrona tra processi?
  13. Che cosa si intende per transazione e quali proprietà ACID devono essere garantite?
  14. Come si gestisce il controllo di concorrenza nei database con il protocollo a due fasi?
  15. Quali sono i vantaggi e i rischi dei thread rispetto ai processi?
  16. Come si implementa un meccanismo di mutua esclusione con le istruzioni atomiche del processore?
  17. Che cosa si intende per starvation e come si evita nella schedulazione?
  18. Come si analizza la correttezza di un algoritmo distribuito rispetto alla sicurezza e alla vivacità?
  19. Quali modelli di programmazione si usano per la gestione della concorrenza su più core?
  20. Come si valuta la scalabilità di un sistema concorrente al crescere dei processori?

Domande di esercitazione costruite sul programma ufficiale, non fornite dal docente.

Prof. Daniele Gorla: Concurrent Systems

5,4difficoltà
Sapienza · Facoltà: Ingegneria dell'informazione, informatica e statistica · Computer Science - Informatica (LM-18)
Di cosa si tratta: Concetti e modelli dei sistemi concorrenti: modellazione, proprietà di liveness e safety in LTL, verifica con model checking e formalismi visuali come reti di Petri, statecharts e diagrammi di attività. Segue la programmazione concorrente multi-thread con memoria condivisa, semafori e monitor, il passaggio da thread a task e il meccanismo dei future.

Dettagli corso

2º annoCorso: LM-18
CFU: 6Canale: Unico

Tempo di studio e official info

Tempo consigliato per preparare l’esame: 13 settimane (3 mesi)
Frequenza consigliata
Dati verificati il 18/09/2026

Libri indicati per la materia

Scorri di lato: 5 libri
Raynal – Concurrent ProgrammingISBN 9783642320262
Tempo di studio del libro≈ 5,5 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
515 pagine
Difficoltà
6,9
Milner – Communicating and Mobile SystemsISBN 9780521658690
Tempo di studio del libro≈ 2 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
161 pagine
Difficoltà
4,8
Smolka – In Encyclopedia of Electrical EngineeringISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Parrow – An Introduction to the pi-Calculus, pages 479-543ISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Milner – The Polyadic pi-CalculusISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Domande possibili all’esame
  1. Che cosa si intende per concorrenza e in che cosa differisce dal parallelismo?
  2. Quali sono i problemi tipici della concorrenza come corse critiche e stallo?
  3. Che cosa si intende per sezione critica e quali requisiti deve soddisfare la sua gestione?
  4. Come funziona il meccanismo dei semafori per la sincronizzazione dei processi?
  5. Quali sono le caratteristiche dei monitor come strumento di sincronizzazione?
  6. Come si modella un problema di produttore e consumatore con la sincronizzazione?
  7. Che cosa si intende per stallo e quali condizioni sono necessarie perché si verifichi?
  8. Quali strategie si adottano per prevenire, evitare o rilevare lo stallo?
  9. Come si verifica la correttezza di un programma concorrente con le reti di Petri?
  10. Che cosa si intende per rete di Petri e quali proprietà si analizzano?
  11. Come si modella un sistema concorrente con i processi di comunicazione CSP?
  12. Quali sono le differenze tra comunicazione sincrona e asincrona tra processi?
  13. Che cosa si intende per transazione e quali proprietà ACID devono essere garantite?
  14. Come si gestisce il controllo di concorrenza nei database con il protocollo a due fasi?
  15. Quali sono i vantaggi e i rischi dei thread rispetto ai processi?
  16. Come si implementa un meccanismo di mutua esclusione con le istruzioni atomiche del processore?
  17. Che cosa si intende per starvation e come si evita nella schedulazione?
  18. Come si analizza la correttezza di un algoritmo distribuito rispetto alla sicurezza e alla vivacità?
  19. Quali modelli di programmazione si usano per la gestione della concorrenza su più core?
  20. Come si valuta la scalabilità di un sistema concorrente al crescere dei processori?

Domande di esercitazione costruite sul programma ufficiale, non fornite dal docente.

Prof. Daniele Gorla: Concurrent Systems

5,4difficoltà
Sapienza · Facoltà: Ingegneria dell'informazione, informatica e statistica · Computer Science - Informatica (LM-18)
Di cosa si tratta: Concetti e modelli dei sistemi concorrenti: modellazione, proprietà di liveness e safety in LTL, verifica con model checking e formalismi visuali come reti di Petri, statecharts e diagrammi di attività. Segue la programmazione concorrente multi-thread con memoria condivisa, semafori e monitor, il passaggio da thread a task e il meccanismo dei future.

Dettagli corso

2º annoCorso: LM-18
CFU: 6Canale: Unico

Tempo di studio e official info

Tempo consigliato per preparare l’esame: 13 settimane (3 mesi)
Frequenza consigliata
Dati verificati il 18/09/2026

Libri indicati per la materia

Scorri di lato: 5 libri
Raynal – Concurrent ProgrammingISBN 9783642320262
Tempo di studio del libro≈ 5,5 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
515 pagine
Difficoltà
6,9
Milner – Communicating and Mobile SystemsISBN 9780521658690
Tempo di studio del libro≈ 2 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
161 pagine
Difficoltà
4,8
Smolka – In Encyclopedia of Electrical EngineeringISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Parrow – An Introduction to the pi-Calculus, pages 479-543ISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Milner – The Polyadic pi-CalculusISBN
Tempo di studio del libro≈ 3 settimane
Obbligatorietà
Obbligatorio
Adottato in
1 materia
Tipo
Manuale
Pagine
n.d.
Difficoltà
5,4
Domande possibili all’esame
  1. Che cosa si intende per concorrenza e in che cosa differisce dal parallelismo?
  2. Quali sono i problemi tipici della concorrenza come corse critiche e stallo?
  3. Che cosa si intende per sezione critica e quali requisiti deve soddisfare la sua gestione?
  4. Come funziona il meccanismo dei semafori per la sincronizzazione dei processi?
  5. Quali sono le caratteristiche dei monitor come strumento di sincronizzazione?
  6. Come si modella un problema di produttore e consumatore con la sincronizzazione?
  7. Che cosa si intende per stallo e quali condizioni sono necessarie perché si verifichi?
  8. Quali strategie si adottano per prevenire, evitare o rilevare lo stallo?
  9. Come si verifica la correttezza di un programma concorrente con le reti di Petri?
  10. Che cosa si intende per rete di Petri e quali proprietà si analizzano?
  11. Come si modella un sistema concorrente con i processi di comunicazione CSP?
  12. Quali sono le differenze tra comunicazione sincrona e asincrona tra processi?
  13. Che cosa si intende per transazione e quali proprietà ACID devono essere garantite?
  14. Come si gestisce il controllo di concorrenza nei database con il protocollo a due fasi?
  15. Quali sono i vantaggi e i rischi dei thread rispetto ai processi?
  16. Come si implementa un meccanismo di mutua esclusione con le istruzioni atomiche del processore?
  17. Che cosa si intende per starvation e come si evita nella schedulazione?
  18. Come si analizza la correttezza di un algoritmo distribuito rispetto alla sicurezza e alla vivacità?
  19. Quali modelli di programmazione si usano per la gestione della concorrenza su più core?
  20. Come si valuta la scalabilità di un sistema concorrente al crescere dei processori?

Domande di esercitazione costruite sul programma ufficiale, non fornite dal docente.

Scorri di lato: 4 insegnamenti →

Domande frequenti Libri, programma ed esami del prof. Daniele Gorla a Sapienza

Che libro usa il prof. Daniele Gorla per Concurrent Systems a Sapienza?

Per Concurrent Systems (Canale unico) indica come obbligatorio: 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.

Quanto è impegnativo Concurrent Systems?

6 CFU, difficoltà stimata 5.4 su 10 rispetto agli esami della stessa area.

Che libro usa il prof. Daniele Gorla per Concurrent Systems a Sapienza?

Per Concurrent Systems (Canale unico) indica come obbligatorio: 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.

Quanto è impegnativo Concurrent Systems?

6 CFU, difficoltà stimata 5.4 su 10 rispetto agli esami della stessa area.

Che libro usa il prof. Daniele Gorla per Concurrent Systems a Sapienza?

Per Concurrent Systems (Canale unico) indica come obbligatorio: 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.

Quanto è impegnativo Concurrent Systems?

6 CFU, difficoltà stimata 5.4 su 10 rispetto agli esami della stessa area.

Che libro usa il prof. Daniele Gorla per Concurrent Systems a Sapienza?

Per Concurrent Systems (Canale unico) indica come obbligatorio: 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.

Quanto è impegnativo Concurrent Systems?

6 CFU, difficoltà stimata 5.4 su 10 rispetto agli esami della stessa area.

Dove trovo la scheda ufficiale di un esame?

Ogni insegnamento qui sopra ha il link alla scheda ufficiale dell’ateneo: controllala sempre prima di acquistare.

Sei uno studente tra i 18 e i 22 anni?Con Prime Student hai 90 giorni gratis, poi Amazon Prime a soli 2,49 € al mese: consegne veloci e gratuite anche sui libri.Scopri Prime Student ›
Controlla sempre la scheda dell'esame. Le informazioni vengono dalle schede ufficiali degli atenei e possono cambiare o contenere errori: prima di acquistare verifica i testi sulla scheda ufficiale dell'esame (la trovi linkata in ogni esame) e, nel dubbio, chiedi al docente.
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.