Upload New File

snippets/COORDINATE/Basic_Coordination.mp

+/*  Basic coordination adding a precedence relation 
+    between events in different roots.  FROM clause is
+    optional when there is no reuse of same event name
+    in different roots. (MP Manual sections 2.3, 4.4) */
+
+    COORDINATE   $x: a FROM A,
+                 $y: b FROM B
+    DO ADD $x PRECEDES $y; OD;