The starting point for our framework is the notion of a process theory [1]}, [2]}, [3]}.
The key feature of a process theory is that it provides a diagrammatic representation of the theory.
There are two primitive components of a process theory, physical systems, denoted by labeled wires, and physical processes which can have input and output systems, denoted as a labeled box with input wires at the bottom and output wires at the top.
These processes can be `wired together' to form diagrams, for example,
\({Diagrams/genericDiagram} \; .\) 
