Pipe-calculus: Difference between revisions

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?
283

edits