master-degree-notes/Concurrent Systems/Lezione1.md