Changes

add a bit
Line 468: Line 468:  
| (22)
 
| (22)
 
|}
 
|}
 +
 +
==Formal extension : Cactus calculus==
 +
 +
Let us now extend the CSP–GSB calculus in the following way:
12,080

edits