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




9. Patterns











10. Demos
















