Skip to main content
If you continue browsing this website, you agree to our policies:
  • Condizioni di utilizzo e trattamento dei dati
Continue
x
If you continue browsing this website, you agree to our policies:
  • Condizioni di utilizzo e trattamento dei dati
Continue
x
e-Learning - UNIMIB
  • Home
  • More
Listen to this page using ReadSpeaker
English ‎(en)‎
English ‎(en)‎ Italiano ‎(it)‎
You are currently using guest access
 Log in
e-Learning - UNIMIB
Home
Expand all Collapse all
Expand Collapse General Highlighted
  • Avvisi
  • Temi d'esame
Expand Collapse Informazioni generali Highlighted
Expand Collapse Esami Highlighted
  • Esempi di temi d'esame
  • Appello del 6 febbraio 2023
  • Appello di giugno - prova scritta
  • Appello di luglio - prova scritta
  • Appello del 3 luglio 2023
  • Appello di settembre
Expand Collapse Dimostrazioni di correttezza Highlighted
  • Materiale di studio
  • Lezione del 3 ottobre 2022
  • Lezione del 6 ottobre 2022
  • Lezione del 10 ottobre
  • Lezione del 13 ottobre 2022
  • Esercizi svolti
  • Lezione del 17 ottobre
Expand Collapse Modelli di sistemi concorrenti - CCS Highlighted
  • Lezione del 20 ottobre 2022, ore 15:30-18:30, aula...
  • appunti_della lezione_22ottobre22
  • Lezione del 24 ottobre 2022, ore 15:30-17:30, aula...
  • appunti_della lezione_24_ottobre_22
  • Lezione del 27 ottobre 2022, ore 15:30-16:30, aula...
  • appunti_della lezione_27_ottobre_22
  • Lezione del 3 novembre 2022, ore 15:30-18:30, aula...
  • slide sulla Bisimulazione debole e il gioco per verificarla
  • Lezione del 7 novembre 2022, ore 15:30-18:30, aula...
  • Bisimulazione debole proprietà - slide
  • Lezione del 10 novembre 2022, ore 15:30-18:30, aul...
  • Bisimulazione e congruenza
  • Esercizi sulla verifica della Bisimulazione - da svolgere
  • Lezione del 14 novembre 2022, ore 15:30-18:30, aul...
  • soluzioni degli esercizi sulla verifica della Bisimulazione
  • lez 14 nov
  • la specifica di un protocollo di comunicazione
  • ------------------------------------------- Mater...
  • Reactive Systems: Modelling, Specification and Verification
  • Bisimulazione debole e il gioco per la sua verifica
  • Bisimulazione, esempi
  • Letture
  • C.A.R. Hoare, Communicating Sequential Processes, 1978
  • R. Milner, Elements of Interactions
  • caal_tutorial
Expand Collapse Modelli di sistemi concorrenti - Reti di Petri Highlighted
  • Lezione del 17 novembre 2022, ore 15:30-18:30, a...
  • Lezione del 21 novembre 2022, ore 15:30-18:30, a...
  • Lezione del 24 novembre 2022, ore 15:30-18:30, a...
  • Lezione del 28 novembre 2022, ore 15:30-18:30, a...
  • Da reti elementari a reti PT e a reti colorate - proprietà di comportamento
  • Lezione del 1 dicembre 2022, ore 15:30-18:30, au...
  • esercizi sui processi
  • Esercizio sulla bisimulazione
  • ------------------------------------------- Mat...
  • Reti di Petri 1 -slide
  • Soluzione degli esercizi sui sistemi elementari e il grafo dei casi
  • I processi non sequenziali - slide
  • soluzioni degli esercizi sui processi
  • G. Rozenberg, J. Engelfriet; Elementary Net Systems
  • J. Klein, M. Koutny; Elementary Net Systems
  • Letture (copia)
  • T.Murata: "Petri nets: Properties, Analysis and Applications.”
  • Carl Adam Petri - Life and Science, Einar Smith, Springer
  • L'eredità di C.A. Petri: dagli automi alla comunicazione
Expand Collapse Logiche temporali e model-checking Highlighted
  • Introduzione al model-checking
  • Guida allo studio - Model checking e logiche temporali
  • Model Checking: A Tutorial Overview, Stephan Merz
  • Topics in Concurrency - Lecture Notes
  • Model Checking: Algorithmic Verification and Debugging
  • Logiche temporali e model-checking
  • Time, Clocks, and the Ordering of Events in Distributed Systems
  • Materiale per la lezione del 12 dicembre
  • Lezione del 15 dicembre 2022
  • Lezione del 19 dicembre 2022
  • Introduzione a reticoli e ordini parziali
  • Lezione del 22 dicembre
  • Lezione del 9 gennaio 2023 - registrazione, prima parte
  • Lezione del 9 gennaio 2023 - registrazione, seconda parte
Percorso della pagina
  1. Economics
  2. Master Degree
  3. Economia e Finanza [F1601M]
  4. Courses
  5. A.A. 2022-2023
  6. 2nd year
  1. History of Financial Markets
  2. Lezione 1 - 4 ottobre
  3. Lezione 1.3 - Le banconote
Unità didattica Course full name
History of Financial Markets
Course ID number
2223-2-F1601M066-F1601M077M
Course summary SYLLABUS

Lezione 1.3 - Le banconote

Completion requirements
You are currently using guest access (Log in)
Policies
Get the mobile app
Powered by Moodle
© 2025 Università degli Studi di Milano-Bicocca
  • Privacy policy
  • Accessibility
  • Statistics