doi = {10.1088/1367-2630/13/4/043016}, doi = {10.1007/978-3-642-03073-4\_18}, doi = {10.4230/LIPIcs.MFCS.2016.76}, doi = {10.4204/EPTCS.236.1}, doi = {10.4230/LIPIcs.MFCS.2017.11}, doi = {10.1017/9781316219317}, doi = {10.1145/3209108.3209131}, doi = {10.1109/LICS.2019.8785765}, doi = {10.4204/EPTCS.287.18}, doi = {10.23638/LMCS-16(2:11)2020}, doi = {10.22331/q-2020-01-09-218}, doi = {10.22331/q-2019-04-30-135}, doi = {10.22331/q-2020-06-04-279}, doi = {10.1103/PhysRevA.102.022406}, doi = {10.4204/EPTCS.318.13}, doi = {10.4204/EPTCS.318.9}, doi = {10.1103/PhysRevLett.70.1895}, doi = {10.1103/PhysRevA.68.022312}, doi = {10.1145/1219092.1219096}, doi = {10.1093/acprof:oso/9780199646296.003.0003}, doi = {10.1088/1367-2630/14/12/123011}, doi = {10.1098/rspa.2005.1546}, doi = {10.4204/EPTCS.287.2}, doi = {10.1007/s00037-000-0170-4},