vault backup: 2025-04-30 16:48:10

This commit is contained in:
Marco Realacci 2025-04-30 16:48:10 +02:00
parent 5fc07c2a81
commit c73e1df4ec

View file

@ -204,11 +204,11 @@
},
"active": "ec8d1a91f1f0cc7e",
"lastOpenFiles": [
"Concurrent Systems/slides/class 13.pdf",
"Concurrent Systems/notes/14.md",
"Concurrent Systems/notes/13 - Weak Bisimilarity.md",
"Concurrent Systems/notes/12b - CCS cose varie.md",
"Concurrent Systems/slides/class 13.pdf",
"Concurrent Systems/notes/12 - Calculus of communicating system.md",
"Concurrent Systems/notes/14.md",
"Concurrent Systems/notes/images/Pasted image 20250415082906.png",
"Concurrent Systems/slides/class 14.pdf",
"Concurrent Systems/notes/images/Pasted image 20250429092543.png",