Page history
6 May 2023
→Equational theory
+67
→Normal form
+355
→Normal form
−33
→Normal form
+423
→Connection with process calculus
+316
→Equational theory
−46
→Syntax
−54
→Syntax
−3
→Syntax
−188
→Syntax
−276
→Equational theory
+87
→Syntax
−9
→Syntax
+37
→Syntax
→Syntax
+9
→Syntax
+48
→Equational theory
+101
→Equational theory
+247
→Syntax
+131
→Equational theory
+202
→Equational theory
+8
→Equational theory
+4
→Equational theory
+138
→Equational theory
−18
→Equational theory
+532
→Connection with process calculus
−208
21 March 2023
18 March 2023
15 March 2023
4 March 2023
3 March 2023
2 March 2023
→Connection with process calculus
−10
→Connections with other fields
−23
→Process calculus
−19
→Process calculus
−17
→Process calculus
+20
→Process calculus
+305
1 March 2023
→Process calculus
+4
→Process calculus
−22
→Process calculus
+285
→Variants and computational power
−3
→Process calculus
+12
→Process calculus
+29
→Process calculus
−1
→Process calculus
+28