Skip to main content
Side panel
Home
More
English (en)
English (en)
Italiano (it)
You are currently using guest access
Log in
Home
Open course index
Percorso della pagina
Science
Master Degree
Informatica [F1801Q]
Courses
A.A. 2022-2023
1st year
Concurrent Models
Modelli di sistemi concorrenti - CCS
Bisimulazione debole e il gioco per la sua verifica
Unità didattica
Course full name
Concurrent Models
Course ID number
2223-1-F1801Q132-F1801Q132M
Course summary
SYLLABUS
Bisimulazione debole e il gioco per la sua verifica
Click
Bisimulazione_gioco_pre_intro.pdf
link to view the file.