0. Syntax Reference














1. Reimbursement Example - Simple Traces






2. Reimbursement Example - Pools






3. Reimbursement Example - Simple Traces with Fragments





4. Reimbursement Example - Pools with Fragments









5. Reimbursement Example - Message Flow and Events






6. Procurement Example - Pools, Message Flow and Events





7. Branch Conditions




8. Data Flow

9. Patterns












10. Demos


















