Dataflow Actor Networks: Representations, Compilation and MLIR Integration
Software applications can be described using a computational model. These Models of Computation (MoCs) define rules governing application behaviour and properties that are enforced during execution. This thesis focuses on an actor-based MoC, known as dataflow-with-firing, where applications are modelled as actors connected by buffered channels. This model yields a concurrent application descriptio
