Modelli e Sistemi Concorrenti – Bologna

Alma Mater Studiorum - Università di Bologna · Scienze · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Roberto Gorrieri Canale unico

Corso di laurea: Informatica · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Bologna · Scienze · 6 CFU · apri nel catalogo · Informatica · 1º anno · 2º semestre ›

Il docente indica 3 testi · da studiare tutti

Gorrieri – Syntax and Semantics of Petri Nets Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Gorrieri – Introduction to Concurrency Theory Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Gorrieri – Process Algebras for Petri Nets Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: - Introduzione alla concorrenza e al problema della correttezza del progetto di sistemi reattivi. - Reti di Petri e Sistemi di transizione etichettati. - Linear nets. Equivalenza di linguaggio, a tracce, per isomorfismo. Bisimulazione. Logica modale BML. Process algebra Lin. Teorema di rappresentazione. Congruenza e proprietà algebriche della bisimulazione. Assiomatizzazione sound and complete. - Forking nets.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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