| Entrambe le parti precedenti la revisioneRevisione precedente | |
| magistraleinformatica:psc:start [16/05/2025 alle 09:30 (4 settimane fa)] – [Lectures (2nd part)] Roberto Bruni | magistraleinformatica:psc:start [29/05/2025 alle 15:07 (2 settimane fa)] (versione attuale) – [Lectures (2nd part)] Roberto Bruni |
|---|
| | 30 | Fri | 16/05 | 09:00-11:00 | L1 | 24 - Pi-calculus:\\ //name mobility, free names, bound names, syntax and operational semantics, scope extrusion, early and late bisimilarities, weak semantics// | {{ :magistraleinformatica:psc:2025-05-16_-_24_-_pi_calculus.pdf |Lecture 24}} | | | 30 | Fri | 16/05 | 09:00-11:00 | L1 | 24 - Pi-calculus:\\ //name mobility, free names, bound names, syntax and operational semantics, scope extrusion, early and late bisimilarities, weak semantics// | {{ :magistraleinformatica:psc:2025-05-16_-_24_-_pi_calculus.pdf |Lecture 24}} | |
| | - | Tue | 20/05 | 09:00-11:00 | E | **University closed (due to Tour of Italy)** | | | | - | Tue | 20/05 | 09:00-11:00 | E | **University closed (due to Tour of Italy)** | | |
| | 31 | Thu | 22/05 | 14:00-16:00 | C1 | Exercises:\\ //logics, GoogleGo, pi-calculus//\\ \\ 25 - Measure theory and Markov chains:\\ //probability space, random variables, stochastic processes, homogeneous Markov chains, DTMC, DTMC as matrices, DTMC as PTS, next state probability, ergodic DTMC, steady state distribution, finite path probability// | {{ :magistraleinformatica:psc:07_-_logics_-_googlego_-_pi-2025.pdf |Exercises 07}}\\ Lecture 25a | | | 31 | Thu | 22/05 | 14:00-16:00 | C1 | Exercises:\\ //logics, GoogleGo, pi-calculus//\\ \\ 25 - Measure theory and Markov chains:\\ //probability space, random variables, stochastic processes, homogeneous Markov chains, DTMC, DTMC as matrices, DTMC as PTS, next state probability, ergodic DTMC, steady state distribution, finite path probability// | {{ :magistraleinformatica:psc:07_-_logics_-_googlego_-_pi-2025.pdf |Exercises 07}}\\ {{ :magistraleinformatica:psc:2025-05-22_-_25a_-_dtmc.pdf |Lecture 25a}} | |
| | 32 | Fri | 23/05 | 09:00-11:00 | L1 | 25 - Measure theory and Markov chains (ctd):\\ //negative exponential distribution, CTMC, embedded DTMC, infinitesimal generator matrix, CTMC stationary distribution//\\ \\ 26 - Probabilistic bisimilarities:\\ //bisimilarity revisited, reachability predicate, CTMC bisimilarity, DTMC bisimilarity, Markov chains with actions, probabilistic reactive systems, bisimilarity for reactive systems, Larsen-Skou logic// | Lecture 25b\\ Lecture 26 | | | 32 | Fri | 23/05 | 09:00-11:00 | L1 | 25 - Measure theory and Markov chains (ctd):\\ //negative exponential distribution, CTMC, embedded DTMC, infinitesimal generator matrix, CTMC stationary distribution//\\ \\ 26 - Probabilistic bisimilarities:\\ //bisimilarity revisited, reachability predicate, CTMC bisimilarity, DTMC bisimilarity, Markov chains with actions, probabilistic reactive systems, bisimilarity for reactive systems, Larsen-Skou logic// | {{ :magistraleinformatica:psc:2025-05-23_-_25b_-_ctmc.pdf |Lecture 25b}}\\ {{ :magistraleinformatica:psc:2025-05-23_-_26_-_probabilistic_bisimilarities.pdf |Lecture 26}} | |
| | 33 | Tue | 27/05 | 09:00-11:00 | E | 27 - PEPA:\\ //motivation, basic ideas, PEPA workflow, PEPA syntax, cooperation combinator, bounded capacity, apparent rate, PEPA operational semantics, performance analysis, reward structures// | Lecture 27\\ [[http://www.dcs.ed.ac.uk/pepa/|PEPA]] | | | 33 | Tue | 27/05 | 09:00-11:00 | E | 27 - PEPA:\\ //motivation, basic ideas, PEPA workflow, PEPA syntax, cooperation combinator, bounded capacity, apparent rate, PEPA operational semantics, performance analysis, reward structures// | {{ :magistraleinformatica:psc:2025-05-27_-_27_-_pepa.pdf |Lecture 27}}\\ [[http://www.dcs.ed.ac.uk/pepa/|PEPA]] | |
| | 34 | Thu | 29/05 | 14:00-16:00 | C1 | Exercises:\\ //Markov chains, probabilistic systems, PEPA// | Exercises 08 | | | 34 | Thu | 29/05 | 14:00-16:00 | C1 | Exercises:\\ //Markov chains, probabilistic systems, PEPA// | {{ :magistraleinformatica:psc:08_-_probability_-_2025.pdf |Exercises 08}} | |
| | 35 | Fri | 30/05 | 09:00-11:00 | L1 | Exercises:\\ //Samples from exam exercises//\\ \\ Mini-projects:\\ //discussion// | | | | 35 | Fri | 30/05 | 09:00-11:00 | L1 | Exercises:\\ //Samples from exam exercises//\\ \\ Mini-projects:\\ //discussion// | | |
| | End | | | | | | | | | End | | | | | | | |
