Page history
8 July 2023
25 June 2023
24 June 2023
28 May 2023
25 May 2023
→Analogies
−11
→Terms
−68
→Exclusive choice
m→Exclusive choice
−18
→Pipe and Unix pipelines
+288
→Prefixes
−16
→Terms
→Motivation
−22
→Variants and computational power
−21
→Pipe-calculus and process calculus
+4
→Recognition and interpretation
+7
→Rules
24 May 2023
→Prefixes
+62
→Extensions
+36
→Pipe-calculus and process calculus
+222
→Equational theory
+3
→Rules
+4
→Terms
+8
→An example
+6
→Analogies
−4
→Exclusive choice
+67
→Pipeline
−18
→Prefixes
+113
→Exclusive choice
+122
→Rules
−2
→Rules
+159
→Choice
+1,313
→Connection with process calculus
+2
→Formal Definition
m→Rules
+20
→Prefixes
+397
→Equational theory
+5
→Pipeline
−53
→Pipeline
+185
→Sequence
+399
→The pipe combinator
−11
→Choice
+13