|
|
| Line 298: |
Line 298: |
|
| |
|
| <references /> | | <references /> |
|
| |
| === Questions to be answered ===
| |
|
| |
| * Is pipe associative?
| |
| * In general, what kind of equality should be used for deciding the commutativity and associativity of combinators?
| |
| * As a process calculus, is it a linear time or branching time system?
| |