vault backup: 2025-04-29 09:08:47

This commit is contained in:
Marco Realacci 2025-04-29 09:08:47 +02:00
parent c724505eca
commit cf218af2e4
2 changed files with 3 additions and 2 deletions

View file

@ -35,4 +35,5 @@ replacing one by one every continuation with its standard form, obtaining standa
![](../../Pasted%20image%2020250429085319.png)
### Axioms & Rules for Weak Bisimilarity