Skip to content
Snippets Groups Projects

Keane branch

Closed Keane Reynolds requested to merge Keane_Branch into master
40 files
+ 270
44
Compare changes
  • Side-by-side
  • Inline
Files
40
/*
/*
Example1_simple_message_flow.mp
Event grammar rules for each root define derivations for event traces,
@@ -14,7 +14,7 @@ the most appropriate for browsing traces here.
*/
SCHEMA simple_message_flow
SCHEMA Simple_Message_Flow
ROOT Sender: (* send *);
ROOT Receiver: (* receive *);
Loading