ExecutionΒΆ

TODO: Describe the execution semantics of a component