Timing via Pinwheel Double Categories

We discuss string diagrams for timed process theories – represented by duoidally-graded symmetric strict monoidal categories – built upon the string diagrams of pinwheel double categories.