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