283
edits
Pipe-calculus: Difference between revisions
→Connections with other fields
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 129: | Line 129: | ||
|} | |} | ||
== | == Connection with process calculus == | ||
'''[[wikipedia:process_calculus | Process calculi]]''' (or '''process algebras''') is an approach for formally modeling concurrent systems. ''Process'' refers to the behavior of a system. The word ''algebra'' denotes an algebraic approach in talking about behavior, while the word ''calculus'' emphasizes the computational aspect of processes. | '''[[wikipedia:process_calculus | Process calculi]]''' (or '''process algebras''') is an approach for formally modeling concurrent systems. ''Process'' refers to the behavior of a system. The word ''algebra'' denotes an algebraic approach in talking about behavior, while the word ''calculus'' emphasizes the computational aspect of processes. | ||