Please disable Adblockers and enable JavaScript for domain CEWebS.cs.univie.ac.at! We have NO ADS, but they may interfere with some of our course material.
Name: examples/p34/context.xml
1: | <context xmlns="http://riddl.org/ns/common-patterns/properties/1.0"> |
2: | <wait> |
3: | <buf>[]</buf> |
4: | </wait> |
5: | <sync> |
6: | <run>[]</run> |
7: | <fin>[]</fin> |
8: | </sync> |
9: | </context> |