Quantum circuits form the standard framework of quantum computing, and have started playing the same role for some parts of quantum foundations. However, they cannot satisfactorily capture some possibilities offered by quantum theory, in particular coherent control and indefinite causal order. In this thesis, we therefore propose an extension to this framework, given by routed quantum circuits. Our extension is based on the addition of sectorial constraints, which specify the basic sectorial structure of the scenarios at hand, on top of the factorial structure described by the connectivity of circuits. This yields a consistent and scalable framework, applicable to pure and mixed quantum theory. It admits a sound and intuitive diagrammatic notation. We show that this framework allows to properly model all forms of coherent control of the application of a channel, for instance the superposition of a quantum information carrier's trajectory, or the 'extended circuit diagrams' recently introduced for the study of causal decompositions. We demonstrate how this leads to a redefinition of the task of coherently controlling a channel, and study in detail the necessary resources for this task. We further show that the scenarios featuring indefinite causal order also fit within our framework once feedback loops are introduced. The connectivity and sectorial constraints are then sufficient to specify the core behaviour of a process, and in particular to check that it is valid, i.e. that its cycles do not lead to any logical inconsistency. We display how several standard examples of exotic processes, including ones that violate causal inequalities, are among the class of processes that can be generated in this way; we conjecture that this class in fact includes all unitarily extendible processes.