Conclusion (1/2): Summary

Static type system that prevents deadlock:

• Usages & Usage Calculus

“In what way each channel is used”

+

• Time Tags & Time Tag Ordering

“In what order those channels are used”

Previous slide

Next slide

Back to first slide

View graphic version