Skip to content
Snippets Groups Projects

Merging github desktop demo

Closed Merging github desktop demo
Chase-Branch into master
Closed Johnson,Chase requested to merge Chase-Branch into master
Compare
and
2 files
+ 4
− 0
Compare changes
  • Side-by-side
  • Inline
Files
2
Example01_SimpleMessageFlow_EventCoordination.mp
+ 2
− 0
@@ -21,3 +21,5 @@ ROOT Receiver: (* receive *);
@@ -21,3 +21,5 @@ ROOT Receiver: (* receive *);
COORDINATE $x: send FROM Sender,
COORDINATE $x: send FROM Sender,
$y: receive FROM Receiver
$y: receive FROM Receiver
DO ADD $x PRECEDES $y; OD;
DO ADD $x PRECEDES $y; OD;
 
 
/* chase comment */
 
\ No newline at end of file