Models For Programming Paradigms – Pisa

Università di Pisa · Dipartimento di Informatica · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Roberto Bruni Canale unico

Corso di laurea: Informatica – sede di Pisa · Laurea magistrale (LM-18) · esame facoltativo · Foundations of Software · 9 CFU

Pisa · Dipartimento di Informatica · 9 CFU · apri nel catalogo · Informatica – sede di Pisa · 1º anno · 1º semestre ›

Il docente indica 5 testi · da studiare tutti

Testo principale

Bruni – Models of Computation Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Letture opzionali consigliate

Glynn Winskel – The formal Semantics of Programming Languages Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Turini – La Semantica Formale dei Linguaggi di Programmazione Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Robin Milner – Communication and Concurrency Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Luca Aceto et al., Reactive Systems , Cambridge Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Introduzione di cinque modelli computazionali differenti e studio delle loro proprietà formali principali (imperativo: IMP, funzionale: HOFL, processi concorrenti: CCS, calcoli con nomi: pi-calculus, sistemi probabilistici e stocastici: Segala automata e PEPA) accompagnati da principi di induzione e da metodi di dimostrazione.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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