Modelli e Sistemi Concorrenti – prof. Roberto Gorrieri

Informatica · Alma Mater Studiorum - Università di Bologna · esame facoltativo · 6 CFU · canale unico

Libri del canale

Modelli e Sistemi Concorrenti 6 CFU

RGProf. Roberto Gorrieri Canale unico

Il docente indica 3 testi · da studiare tutti

Gorrieri – Syntax and Semantics of Petri NetsVerificato sulla scheda ufficiale il 02/10/2026

Cerca su Amazon ›

Gorrieri – Introduction to Concurrency TheoryVerificato sulla scheda ufficiale il 02/10/2026

Cerca su Amazon ›

Gorrieri – Process Algebras for Petri NetsVerificato sulla scheda ufficiale il 02/10/2026

Cerca su Amazon ›

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.

Apri nel catalogo: Informatica, 1º anno, tutte le materie e i canali ›

Testi d'esame di Modelli e Sistemi Concorrenti del prof. Roberto Gorrieri, canale unico, corso di laurea in Informatica (Laurea magistrale (LM-18)), Alma Mater Studiorum - Università di Bologna, esame facoltativo · 6 CFU, a.a. 2026/2027. Libri adottati: Gorrieri – Syntax and Semantics of Petri Nets; Gorrieri – Introduction to Concurrency Theory; Gorrieri – Process Algebras for Petri Nets.

Altre materie del prof. Gorrieri

Management Sanitario C.I. -- · Podologia (abilitante alla professione sanitaria di podologo) · 1º anno · 2º semestre · 10 CFU
Linguaggi di Programmazione · Informatica · 2º anno · annuale · 12 CFU

Vedi anche: Prof. Roberto Gorrieri · Modelli e Sistemi Concorrenti a Bologna (tutti i canali)