A categorical algorithm for calculating flow graphs

Title

Papers

Demonstration

Algorithm

Semantics