Formal Description of Measurements in Local Quantum Field Theory | Synapse