vault backup: 2025-04-29 08:53:47
This commit is contained in:
parent
c301515e6c
commit
34bed21f89
5 changed files with 11 additions and 5 deletions
11
.obsidian/workspace.json
vendored
11
.obsidian/workspace.json
vendored
|
@ -211,11 +211,14 @@
|
|||
"companion:Toggle completion": false
|
||||
}
|
||||
},
|
||||
"active": "ae2c5ab99ad6ca6a",
|
||||
"active": "ec8d1a91f1f0cc7e",
|
||||
"lastOpenFiles": [
|
||||
"Concurrent Systems/notes/14.md",
|
||||
"Pasted image 20250429084358.png",
|
||||
"Pasted image 20250429085319.png",
|
||||
"Concurrent Systems/slides/class 14.pdf",
|
||||
"Concurrent Systems/notes/14.md",
|
||||
"Pasted image 20250429084950.png",
|
||||
"Pasted image 20250429084921.png",
|
||||
"Pasted image 20250429084358.png",
|
||||
"Pasted image 20250429083535.png",
|
||||
"Pasted image 20250429083455.png",
|
||||
"Pasted image 20250429083129.png",
|
||||
|
@ -225,8 +228,6 @@
|
|||
"Concurrent Systems/slides/class 13.pdf",
|
||||
"Pasted image 20250428175449.png",
|
||||
"Pasted image 20250428085837.png",
|
||||
"Pasted image 20250428085410.png",
|
||||
"Pasted image 20250428084340.png",
|
||||
"Concurrent Systems/notes/12 - Calculus of communicating system.md",
|
||||
"Concurrent Systems/slides/class 12.pdf",
|
||||
"Concurrent Systems/notes/12b - CCS cose varie.md",
|
||||
|
|
|
@ -29,3 +29,8 @@ $P$ is in standard form if and only if $P \triangleq \sum_{i}\alpha_{i}P_{i}$ an
|
|||
**Inductive step:** we have to consider three cases.
|
||||
|
||||

|
||||

|
||||

|
||||
replacing one by one every continuation with its standard form, obtaining standard form.
|
||||
|
||||

|
||||
|
|
BIN
Pasted image 20250429084921.png
Normal file
BIN
Pasted image 20250429084921.png
Normal file
Binary file not shown.
After Width: | Height: | Size: 297 KiB |
BIN
Pasted image 20250429084950.png
Normal file
BIN
Pasted image 20250429084950.png
Normal file
Binary file not shown.
After Width: | Height: | Size: 192 KiB |
BIN
Pasted image 20250429085319.png
Normal file
BIN
Pasted image 20250429085319.png
Normal file
Binary file not shown.
After Width: | Height: | Size: 189 KiB |
Loading…
Add table
Add a link
Reference in a new issue