Pipe-calculus: Difference between revisions

Pipe-calculus (view source)

397 bytes added , 24 May 2023

283

edits

@@ Line 97: / Line 97: @@
 === Prefixes ===
-''Prefixes'' are basic units of behavior (called ''actions'' in process algebra). In pipe-calculus they can only occur together with a continuation.
+''Prefixes'' are the basic units of behavior (they are called ''actions'' in process algebra). In pipe-calculus actions can only occur together with a continuation.
+Actions can be classified by polarity and mode.
+In some applications of the calculus it is useful to think of positive prefixes as data and negative prefixes as programs.
+{| class="wikitable"  style="text-align: center;"
+|-
+!
+! Synchronisation
+! Communication
+|-
+! Positive
+| <math>a^+ . t</math>
+| <math>!s . t</math>
+|-
+! Negative
+| <math>a^- . t</math>
+| <math>?x . t</math>
+|}
 === Sequence ===