Concurrent Programs – 3rd edition

Libro adottato a Udine, a.a. 2026/2027 · 2 canali

«Concurrent Programs – 3rd edition» è adottato per Formal Methods For Security dal prof. Marina Lenisa (Artificial Intelligence & Cybersecurity – sede di Udine – Udine); per Metodi Formali per la Sicurezza Informatica dal prof. Marina Lenisa (Informatica – sede di Udine, Sede di UDINE – Udine).

Come lo indica il docente: Concurrent Programs", Springer, 3rd edition, 2009

Chi lo adotta

• Formal Methods For Security – Prof. Marina Lenisa (canale unico)Artificial Intelligence & Cybersecurity – sede di Udine · Laurea magistrale (LM-18) · esame facoltativo · Piano Ad Approvazione Automatica · 6 CFU
• Metodi Formali per la Sicurezza Informatica – Prof. Marina Lenisa (canale unico)Informatica – sede di Udine, Sede di UDINE · Laurea magistrale (LM-18) · 1º anno · annuale · 9 CFU

Programma e testi di ogni canale

Si studia insieme a

• Peter O'Hearn – Resources, Concurrency and Local Reasoning
• Theoretical Computer Science, 375 (1-3), 2007
• Calculus and ProVerif