Foundations of UML: Lecture 11: Safe Realisability

Foundations of UML: Lecture 11: Safe Realisability (Do, 09.12.2021)

00:00:00	Safe Realisability
00:14:43	Safe Realisability
00:17:26	Safe inference
00:27:22	Deadlock-free Inference Relation
00:30:09	Closure under Deadlock-free Inference
00:46:33	Weak closure