Constructive characterisations of the must-preorder for asynchrony | Paper Citation Record

Observation 7f32ade4-74ea-4688-8567-7c47b860b66b · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:18.974681Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57ca264f-a5a1-4a85-b0d3-5f2ec13b058f · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:18.979418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27b4251e-9207-42cb-816b-6aee5d4069a6 · outbound

This paper cites In: Sch¨ urmann, C.

Constructive characterisations of the must-preorder for asynchrony In: Sch¨ urmann, C

Reference 3

Resolution: verified exact; doi, observed 2026-08-10T16:38:20.028194Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 96daccd7-f784-49a0-baaa-2c79a70fe6e2 · outbound

This paper cites In: Montanari, U., Sassone, V.

Constructive characterisations of the must-preorder for asynchrony In: Montanari, U., Sassone, V

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:18.987902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21651225-d49b-40ed-97df-86694942122e · outbound

This paper cites Theoretical Computer Science 195, 291–324 (1998).

Constructive characterisations of the must-preorder for asynchrony Theoretical Computer Science 195, 291–324 (1998)

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:18.992061Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f217783-bdf1-4293-b476-e158d58bb542 · outbound

This paper cites Master’s thesis, Massachusetts Institute of Technology (J un 2017).

Constructive characterisations of the must-preorder for asynchrony Master’s thesis, Massachusetts Institute of Technology (J un 2017)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:18.996234Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1619ce4e-cdb0-4d5d-b704-1176b873cf2c · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.000326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2669a73-ef55-4720-893f-76a2adc3bd23 · outbound

This paper cites In: Bodei, C., Ferrari, G., Priam i, C.

Constructive characterisations of the must-preorder for asynchrony In: Bodei, C., Ferrari, G., Priam i, C

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.004009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d8c81f1-77fe-4430-a006-a6e476c6d0a3 · outbound

This paper cites In: Kutsia, T., Schreiner, W., Fern ´ andez, M.

Constructive characterisations of the must-preorder for asynchrony In: Kutsia, T., Schreiner, W., Fern ´ andez, M

Reference 9

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T16:38:21.118988Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 430e58e5-1b1a-449f-a979-d6f9331283f3 · outbound

This paper cites College Pub- lications (2022), https://www.collegepublications.co.uk/logic/mlf/?00035, chapter 11.

Constructive characterisations of the must-preorder for asynchrony College Pub- lications (2022), https://www.collegepublications.co.uk/logic/mlf/?00035, chapter 11

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.015231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42ff5fb5-8194-40d3-9f34-6e84146a9f13 · outbound

This paper cites Acta Infor- matica 59(1), 125–162 (2022).

Constructive characterisations of the must-preorder for asynchrony Acta Infor- matica 59(1), 125–162 (2022)

Reference 11

Resolution: verified exact; doi, observed 2026-08-10T16:38:20.006814Z

Source-reported events for the cited work

correction dated 2021-10-15. Source: crossref record 10.1007/s00236-021-00409-7->10.1007/s00236-020-00394-3:correction, observed 2026-07-11T02:55:35.009442+00:00. This notice travels one citation hop only.

Observation 2de1e8d1-12f9-4830-87bc-6e191666c23a · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.022810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9541ead3-98ca-4be5-a5c2-d09e55eb9469 · outbound

This paper cites https://doi.org/10.5281/zenodo.14617145, https://doi.org/10.5281/zenodo.10.5281/zenodo.14617145 26.

Constructive characterisations of the must-preorder for asynchrony https://doi.org/10.5281/zenodo.14617145, https://doi.org/10.5281/zenodo.10.5281/zenodo.14617145 26

Reference 13

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.996500Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 30a9b331-4249-4646-b661-161eb0f09fcd · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.029631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e8d754c-9c22-462e-9750-9b53bcfb1aa1 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.033376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e2159d2-89dc-4fdb-9be3-bc3ebac2a2db · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 16

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.973905Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e47c83c9-1da5-4aa8-8b99-184f34ba24c2 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 17

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.963545Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7f316910-d0c3-4b26-90c3-856ad565b662 · outbound

This paper cites In: Dowek, G.

Constructive characterisations of the must-preorder for asynchrony In: Dowek, G

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.045170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05881a84-d255-4ed7-b2c1-77cd6709be3d · outbound

This paper cites In: Shan, C.

Constructive characterisations of the must-preorder for asynchrony In: Shan, C

Reference 19

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.953315Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 139f262a-c7a0-48f1-a166-76b746d4f4a6 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.052772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e92b00c0-7e8a-48d8-a636-b48d9985b4d2 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 21

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.935973Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ebad0950-df2a-49fd-9669-13e9e9f80d51 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 22

Resolution: verified exact; raw_fallback, observed 2026-08-10T16:38:21.051488Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 17e91e42-3854-42e1-808b-6f2d5886bfeb · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 23

Resolution: verified exact; raw_fallback, observed 2026-08-10T16:38:20.971974Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ad393d49-5597-461b-a098-d38857b79e42 · outbound

This paper cites Research Re port RR-1702, INRIA (1992), https://hal.inria.fr/inria-00076939.

Constructive characterisations of the must-preorder for asynchrony Research Re port RR-1702, INRIA (1992), https://hal.inria.fr/inria-00076939

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.068009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 845e283d-0c41-4d41-84b6-b126b13237b9 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 25

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.924030Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9c483bbe-aa7a-4e40-aea6-6e317aabfebc · outbound

This paper cites In: Kirchner, H.

Constructive characterisations of the must-preorder for asynchrony In: Kirchner, H

Reference 26

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.913217Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 368cd737-9978-43cb-8a39-5b653f4ce9f7 · outbound

This paper cites In: FOSSACS (2021) 27.

Constructive characterisations of the must-preorder for asynchrony In: FOSSACS (2021) 27

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.079622Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 644a5293-a72a-43da-a709-019d2edd838a · outbound

This paper cites In: 36th Annual ACM/IEEE Symposium on L ogic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 20 21.

Constructive characterisations of the must-preorder for asynchrony In: 36th Annual ACM/IEEE Symposium on L ogic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 20 21

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.083191Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e2e3cef-99a6-4d46-b907-f66fd8777ffd · outbound

This paper cites In: Kesner, D., Pientka, B.

Constructive characterisations of the must-preorder for asynchrony In: Kesner, D., Pientka, B

Reference 29

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.901575Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 5d060f9d-45e0-42a7-9966-b277dc41b7fe · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.090887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3611edb7-34ef-4201-bf07-6ae794e951bc · outbound

This paper cites In: D ´ ı az, J.

Constructive characterisations of the must-preorder for asynchrony In: D ´ ı az, J

Reference 31

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.884050Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 6995ff86-0ab7-4fc6-a3e8-c7dfff1c0088 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.098583Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa6a5e67-9dc6-4386-a7d8-0ce4669c798f · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.102157Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d105e735-4305-4008-96b8-671e5c980a86 · outbound

This paper cites Master thesis, University of Malta (2019).

Constructive characterisations of the must-preorder for asynchrony Master thesis, University of Malta (2019)

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.105754Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9970c5f7-50e4-4dc6-8a32-875fe48c8f8a · outbound

This paper cites In: Porto, A., L´ opez-Fraguas, F.J.

Constructive characterisations of the must-preorder for asynchrony In: Porto, A., L´ opez-Fraguas, F.J

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.108898Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4840a0f0-465a-4615-aef5-c7b03e83ae4c · outbound

This paper cites ACM Trans.

Constructive characterisations of the must-preorder for asynchrony ACM Trans

Reference 36

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T16:38:20.762672Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7644217e-63c8-4b8b-a78a-5b49344e7daa · outbound

This paper cites In: Palmigiano, A., Sadrzadeh, M.

Constructive characterisations of the must-preorder for asynchrony In: Palmigiano, A., Sadrzadeh, M

Reference 37

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.866110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 806e8d55-934c-49db-97d1-99f6beac2a40 · outbound

This paper cites In: Arvind, V., Ramanujam, R.

Constructive characterisations of the must-preorder for asynchrony In: Arvind, V., Ramanujam, R

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.119251Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8fe34a5-b652-4654-a337-496d014eccff · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.125910Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4627b25e-c366-4253-b571-cd4012f6464a · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 40

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.855330Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b2d2b4fa-d70c-4b86-9186-12c657fe6b4b · outbound

This paper cites In: Sifakis, J.

Constructive characterisations of the must-preorder for asynchrony In: Sifakis, J

Reference 41

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.844190Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 4adda85e-12ed-4bb7-9757-c8558a50fea6 · outbound

This paper cites In: LICS (1991).

Constructive characterisations of the must-preorder for asynchrony In: LICS (1991)

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.128882Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c707e7c-5126-4e89-b60d-76d712ff5da2 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.139479Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86132496-4472-48cd-95e3-0363b3eb2e25 · outbound

This paper cites IEEE Transactions on Software Enginee ring 24(5), 315–330 (1998).

Constructive characterisations of the must-preorder for asynchrony IEEE Transactions on Software Enginee ring 24(5), 315–330 (1998)

Reference 44

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.833434Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1eb557d8-5d6a-4f5d-ba91-62e3d4540012 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 45

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.806830Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b2ae3ed1-d4d2-4d84-89ef-33196dc6733d · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 46

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.816790Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation eca89ed5-0d6b-4c10-9d8c-f28803522a4e · outbound

This paper cites Oxford logic gui des, Clarendon Press (2000), https://books.google.fr/books?id=JVFzknbGBVAC.

Constructive characterisations of the must-preorder for asynchrony Oxford logic gui des, Clarendon Press (2000), https://books.google.fr/books?id=JVFzknbGBVAC

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.152593Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9184a4d1-1035-4041-934f-634632fc47df · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.149396Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a47867e-b9a3-4f14-ae7a-88ee0cbf984b · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.159418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e907563-c0dd-459f-9442-c9d8424a9c57 · outbound

This paper cites In: Barthe, G., Dybjer, P., Pinto, L., Saraiva , J.

Constructive characterisations of the must-preorder for asynchrony In: Barthe, G., Dybjer, P., Pinto, L., Saraiva , J

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.155842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5fecca5-48df-49c9-8395-6ad1a3fa17c3 · outbound

This paper cites In: Dawar, A.

Constructive characterisations of the must-preorder for asynchrony In: Dawar, A

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.167970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67eb4f8e-1cd1-4f3a-aeae-2e603e2f521b · outbound

This paper cites In: TYPES (1998), https://doi.org/10.1007/3-540-48167-2_7.

Constructive characterisations of the must-preorder for asynchrony In: TYPES (1998), https://doi.org/10.1007/3-540-48167-2_7

Reference 52

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.789718Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation d7366f50-4aa9-4287-a0a8-c09c9a41cc35 · outbound

This paper cites In: Kupferman, O., Soboc inski, P.

Constructive characterisations of the must-preorder for asynchrony In: Kupferman, O., Soboc inski, P

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.175437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0870b370-5a8a-4f75-a1ea-ecb8f38d852e · outbound

This paper cites Acta Infor- matica 42(2-3), 191–225 (2005).

Constructive characterisations of the must-preorder for asynchrony Acta Infor- matica 42(2-3), 191–225 (2005)

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.171753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 505ab93d-ae04-446f-bf0e-785989f1b83b · outbound

This paper cites MIT Press s eries in the foundations of computing, MIT Press (1988).

Constructive characterisations of the must-preorder for asynchrony MIT Press s eries in the foundations of computing, MIT Press (1988)

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.186196Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36dd8b8e-0565-4fe1-bf6b-cc5419fcc3b5 · outbound

This paper cites Lecture Notes in Computer Science, v ol.

Constructive characterisations of the must-preorder for asynchrony Lecture Notes in Computer Science, v ol

Reference 56

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.771307Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 819dba0b-c571-4be7-aedb-0590396d74b1 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 57

Resolution: verified exact; raw_fallback, observed 2026-08-10T16:38:20.553503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation fa69f2c2-4628-41ac-a315-a0250d32682d · outbound

This paper cites Cambridge Uni versity Press (2007).

Constructive characterisations of the must-preorder for asynchrony Cambridge Uni versity Press (2007)

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.197808Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d7a66cf-9470-40fd-92d2-f209b699ceb4 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 59

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.759515Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 4c47163d-e2d2-49ff-a8cb-90988bb56ec9 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.193742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51ff4900-ead0-4cae-957f-6bda2045e616 · outbound

This paper cites resource ac cess in the asynchronous pi-calculus.

Constructive characterisations of the must-preorder for asynchrony resource ac cess in the asynchronous pi-calculus

Reference 61

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T16:38:20.476588Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b64807c9-fd57-46f4-ba74-57fa64bd396d · outbound

This paper cites Formal Aspects Comput.

Constructive characterisations of the must-preorder for asynchrony Formal Aspects Comput

Reference 62

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.741100Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e35bb1b7-cddc-4913-9e38-6542376e0f32 · outbound

This paper cites In: Dem binski, P.

Constructive characterisations of the must-preorder for asynchrony In: Dem binski, P

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.205427Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa6e8ffd-000c-4af7-8355-e199d4621078 · outbound

This paper cites In: America, P.

Constructive characterisations of the must-preorder for asynchrony In: America, P

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.220517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13a49b01-e589-4caf-a1f2-8f1ed96716bd · outbound

This paper cites In: Kupferman, O., Soboci nski, P.

Constructive characterisations of the must-preorder for asynchrony In: Kupferman, O., Soboci nski, P

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.212901Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1eac2cce-cb5c-4641-8107-9cb724fe195a · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.216593Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0755c445-3404-435d-9c44-5c93dd625fc2 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 67

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.714458Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a81cdf58-bdf8-493f-9a24-9898fae75d64 · outbound

This paper cites In: Necula, G.C., Wadler, P.

Constructive characterisations of the must-preorder for asynchrony In: Necula, G.C., Wadler, P

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.224893Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fe7e891-25de-46c5-bb78-e606c318321d · outbound

This paper cites Journal of ACM 63(1), 9:1–9:67 (2016).

Constructive characterisations of the must-preorder for asynchrony Journal of ACM 63(1), 9:1–9:67 (2016)

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.228519Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 857e94c2-a03d-4dda-9e65-95355652abbe · outbound

This paper cites In: Castagna, G., Gordon, A.D.

Constructive characterisations of the must-preorder for asynchrony In: Castagna, G., Gordon, A.D

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.241495Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 693ca1f1-c82d-4f57-af80-3286b65accbb · outbound

This paper cites Studie s in logic and the foundations of mathematics, North-Holland Publishing Company (1965), https://books.google.fr/books?id=2EHVxQEACAAJ.

Constructive characterisations of the must-preorder for asynchrony Studie s in logic and the foundations of mathematics, North-Holland Publishing Company (1965), https://books.google.fr/books?id=2EHVxQEACAAJ

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.235395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 252ad3e0-81f0-485b-ab13-7ae7824b762d · outbound

This paper cites In: LICS (2023).

Constructive characterisations of the must-preorder for asynchrony In: LICS (2023)

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.238399Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79db658e-c8dc-42a3-9b4a-7b4421af660f · outbound

This paper cites In: Paterson, M.

Constructive characterisations of the must-preorder for asynchrony In: Paterson, M

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.251441Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5de1938c-0ec6-448c-a06c-d77eeb6161ea · outbound

This paper cites Addison-Wesley (2002 ), http://research.microsoft.com/users/lamport/tla/book.html.

Constructive characterisations of the must-preorder for asynchrony Addison-Wesley (2002 ), http://research.microsoft.com/users/lamport/tla/book.html

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.244667Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44f72115-d1ce-4928-a3b3-c84560504020 · outbound

This paper cites In: Caires, L., Vasconcelos, V.T.

Constructive characterisations of the must-preorder for asynchrony In: Caires, L., Vasconcelos, V.T

Reference 75

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.702441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation f2a2c995-54af-4d72-8a7f-9452b14323ce · outbound

This paper cites In: Ehrig , H., Kowalski, R.A., Levi, G., Montanari, U.

Constructive characterisations of the must-preorder for asynchrony In: Ehrig , H., Kowalski, R.A., Levi, G., Montanari, U

Reference 76

Resolution: malformed identifier; no resolver link, observed 2026-08-10T16:38:19.261946Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84f0ef53-d993-4c35-b282-d5fc1dcf3934 · outbound

This paper cites Cambridge University Press (1999).

Constructive characterisations of the must-preorder for asynchrony Cambridge University Press (1999)

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.254680Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb42ac70-d6bd-4667-9999-e00c300d7188 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.258135Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a02f65b-06af-4984-ba56-16dd4586f1ed · outbound

This paper cites In: Bojanczyk, M., Merelli, E., W oodruﬀ, D.P.

Constructive characterisations of the must-preorder for asynchrony In: Bojanczyk, M., Merelli, E., W oodruﬀ, D.P

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.277419Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5aba899-eeb8-481c-9d31-93c5b3b3eb5f · outbound

This paper cites Mathematical Structures in Computer Science 13(5), 685–719 (2003).

Constructive characterisations of the must-preorder for asynchrony Mathematical Structures in Computer Science 13(5), 685–719 (2003)

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.265992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09b82a0c-bc27-445d-95b7-bd9a04276e34 · outbound

This paper cites In: Grohe, M., Koski nen, E., Shankar, N.

Constructive characterisations of the must-preorder for asynchrony In: Grohe, M., Koski nen, E., Shankar, N

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.269612Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 729eb978-52be-4ecc-88b2-d826044a7c6a · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.292324Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58053c16-4606-41b9-a3f1-2970491d1aa4 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 83

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.644361Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 52c8fc19-4fef-4fda-b3c7-4ef318ea2fd8 · outbound

This paper cites LIPIcs, vol.

Constructive characterisations of the must-preorder for asynchrony LIPIcs, vol

Reference 84

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.667847Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e547e71a-e5d6-481b-bf1e-0756cad6675a · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.285114Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7eb7cb2c-5619-429f-bf8d-765dd6b87131 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 86

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.656118Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 8c7663b2-bffd-453a-95a3-4ac90bdb0da6 · outbound

This paper cites Cam- bridge University Press (2001).

Constructive characterisations of the must-preorder for asynchrony Cam- bridge University Press (2001)

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.312339Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4069b243-b8b5-4e19-8e0e-fd4890691517 · outbound

This paper cites In: Dardha, O., Rot, J.

Constructive characterisations of the must-preorder for asynchrony In: Dardha, O., Rot, J

Reference 88

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.613043Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 52c7594a-170c-47aa-a3d2-b015e751670e · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 89

Resolution: verified exact; doi, observed 2026-08-10T16:38:19.631904Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9463c965-4f82-4e42-8a7a-0ee97269f340 · outbound

This paper cites Cambridge Univer- sity Press (2011).

Constructive characterisations of the must-preorder for asynchrony Cambridge Univer- sity Press (2011)

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.303979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02bf41e5-2b80-4954-b4de-d6941be4716d · outbound

This paper cites In: Alvim, M.S., Chatzikokolakis, K., Olarte, C., Valencia , F.

Constructive characterisations of the must-preorder for asynchrony In: Alvim, M.S., Chatzikokolakis, K., Olarte, C., Valencia , F

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.308482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70b80c42-81df-4355-95dc-ab6f7997fdca · outbound

This paper cites Archive of Formal Proofs (November 2020), https://isa-afp.org/entries/CSP_RefTK.html, Formal proof development.

Constructive characterisations of the must-preorder for asynchrony Archive of Formal Proofs (November 2020), https://isa-afp.org/entries/CSP_RefTK.html, Formal proof development

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.332585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b917ae16-520a-4c23-ab2c-6326c28f5d3b · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.336374Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ca09c0e-4150-432b-9e0e-553c975ce544 · outbound

This paper cites In: Sabel, D., Thiemann, P.

Constructive characterisations of the must-preorder for asynchrony In: Sabel, D., Thiemann, P

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.319583Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5500ff4e-be0d-4ab5-ac58-e7c3d16ba619 · outbound

This paper cites In: Ma zurkiewicz, A.W., Winkowski, J.

Constructive characterisations of the must-preorder for asynchrony In: Ma zurkiewicz, A.W., Winkowski, J

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.322714Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b57f503-2843-4269-80e2-d5acd72b5adb · outbound

This paper cites Archive o f Formal Proofs (April 2019).

Constructive characterisations of the must-preorder for asynchrony Archive o f Formal Proofs (April 2019)

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.329221Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6ea74aa-6698-4777-8443-f6b5c3c2b689 · outbound

This paper cites an unresolved cited work.

Constructive characterisations of the must-preorder for asynchrony Unresolved cited work

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.339941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94c21e16-cd45-462c-859a-f277cabe2dd4 · outbound

This paper cites In: Giacobazz i, R., Cousot, R.

Constructive characterisations of the must-preorder for asynchrony In: Giacobazz i, R., Cousot, R

Reference 101

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.343399Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b155c57-e81f-4b6d-baeb-8c4e7f8765c7 · outbound

This paper cites https://doi.org/10.1007/978-3-319-25527-9_8 , https://doi.org/10.1007/978-3-319-25527-9_8.

Constructive characterisations of the must-preorder for asynchrony https://doi.org/10.1007/978-3-319-25527-9_8 , https://doi.org/10.1007/978-3-319-25527-9_8

Reference 102

Resolution: verified exact; doi, observed 2026-08-10T16:38:20.016929Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a9c7368a-d0da-4715-9590-d9ec9bc75c9e · outbound

This paper cites The more sophisticated the languages, th e more intri- cate and larger the proofs.

Constructive characterisations of the must-preorder for asynchrony The more sophisticated the languages, th e more intri- cate and larger the proofs

Reference 103

Resolution: unresolved; no resolver link, observed 2026-08-10T16:38:19.350716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers