283
edits
Pipe-calculus: Difference between revisions
→Questions to be answered
KalmanKeri (talk | contribs) (→Notes) Tags: Mobile edit Mobile web edit |
KalmanKeri (talk | contribs) Tags: Mobile edit Mobile web edit |
||
| Line 135: | Line 135: | ||
* Is pipe associative? | * 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? | * As a process calculus, is it a linear time or branching time system? | ||