A Process Algebra Approach to Quantum Electrodynamics