Week: 20 April - 26 April | LANGUAGES FOR CONCURRENCY AND DISTRIBUTION 2025-2026 - SCQ1098228 | STEM

Macroarea STEM

Home Calendar Unipd Educational Offer Timetables Uniweb Webmail My Media

Section outline

Current week
- Collapse Expand
  Lesson 14
  
  Verifying properties with the Edimburgh CWB: mutual exclusion, fairness, liveness, deadlock freedom, etc.
  [CWB examples]
  
  Select activity Video recording
  
  Video recording Kaltura Video Resource
  
  Select activity Exercise E (in the list of exam exercises)
  
  Exercise E (in the list of exam exercises) Kaltura Video Resource
- Collapse Expand
  Lesson 15
  
  Pi-calculus
  
  From modelling to programming languages [slides]
  
  Select activity Notes generated during the lesson - Pi-calculus
  
  Notes generated during the lesson - Pi-calculus File
  
  Select activity Video recording - Pi-calculus
  
  Video recording - Pi-calculus Kaltura Video Resource
  
  Select activity Video recording - From Modelling to Programming Languages
  
  Video recording - From Modelling to Programming Languages Kaltura Video Resource