Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory | Paper Citation Record

Observation 1ae95bf8-fbdd-4707-aa59-681475402cc4 · outbound

This paper cites Complexity results for modal logic with recursion via translations and tableaux.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Complexity results for modal logic with recursion via translations and tableaux

Reference 1

Resolution: verified exact; doi, observed 2026-08-07T06:09:10.849368Z

Source-reported events for the cited work

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

Observation 44962804-0746-4f07-a344-ba6728f6a7f8 · outbound

This paper cites A monitoring tool for linear-time \( \) HML.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory A monitoring tool for linear-time \( \) HML

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:03.669018Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20c4772e-4fa3-4e01-a773-fe58b3f417ea · outbound

This paper cites Determinizing monitors for HML with recursion.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Determinizing monitors for HML with recursion

Reference 3

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T06:09:12.249640Z

Source-reported events for the cited work

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

Observation 2c9dd684-7043-422c-9d59-97f26255b105 · outbound

This paper cites Adventures in monitorability: from branching to linear time and back again.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Adventures in monitorability: from branching to linear time and back again

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:03.720945Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16ffb55e-8cea-4b23-a8b9-f9160802ec2e · outbound

This paper cites The best a monitor can do.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory The best a monitor can do

Reference 5

Resolution: verified exact; doi, observed 2026-08-07T06:09:10.727331Z

Source-reported events for the cited work

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

Observation 1ed3f07b-a485-400b-bfd2-da96a4b6f749 · outbound

This paper cites O n R untime E nforcement via S uppressions.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory O n R untime E nforcement via S uppressions

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:14.565310Z

Source-reported events for the cited work

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

Observation c35b0df0-5200-44c3-98c5-5968e2c15ba1 · outbound

This paper cites Hendren, Sascha Kuzins, Ondrej Lhot \' a k, Oege de Moor, Damien Sereni, Ganesh Sittampalam, and Julian Tibble.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Hendren, Sascha Kuzins, Ondrej Lhot \' a k, Oege de Moor, Damien Sereni, Ganesh Sittampalam, and Julian Tibble

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:03.997831Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87dabd49-a476-4401-a17c-f74fa3692bf5 · outbound

This paper cites Schneider.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Schneider

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:04.081425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64bca05e-ec54-463a-a900-bd43b732afc6 · outbound

This paper cites Apt and Gordon D.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Apt and Gordon D

Reference 9

Resolution: verified exact; raw_fallback, observed 2026-08-07T06:09:11.977749Z

Source-reported events for the cited work

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

Observation 5fc020d8-928e-4d7d-a606-934ffaf4e603 · outbound

This paper cites Principles of Model Checking.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Principles of Model Checking

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:14.272250Z

Source-reported events for the cited work

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

Observation fa8b0c2e-f6b3-462b-a0b3-75c5ba517a73 · outbound

This paper cites Rydeheard.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Rydeheard

Reference 11

Resolution: verified exact; doi, observed 2026-08-07T06:09:10.602159Z

Source-reported events for the cited work

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

Observation 62200f60-36f6-4b47-8abf-dcc9ff88f363 · outbound

This paper cites Rule-based runtime verification.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Rule-based runtime verification

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:04.442614Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e723671-b4c4-46b1-ab38-5cf90b5595b0 · outbound

This paper cites Rydeheard, and Klaus Havelund.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Rydeheard, and Klaus Havelund

Reference 13

Resolution: verified exact; doi, observed 2026-08-07T06:09:10.487778Z

Source-reported events for the cited work

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

Observation 2f927604-481a-4066-bb34-e1295ba67d85 · outbound

This paper cites I ntroduction to R untime V erification.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory I ntroduction to R untime V erification

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:14.036196Z

Source-reported events for the cited work

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

Observation baf9ef3d-df67-425a-b4e8-2a566af452f8 · outbound

This paper cites Basin, Felix Klaedtke, and Samuel M \" u ller.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Basin, Felix Klaedtke, and Samuel M \" u ller

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:04.705078Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fbcef481-8595-46df-ba2b-f479910003b9 · outbound

This paper cites From propositional to first-order monitoring.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory From propositional to first-order monitoring

Reference 16

Resolution: verified exact; doi, observed 2026-08-07T06:09:10.344314Z

Source-reported events for the cited work

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

Observation 8d09cae8-b5ad-49f0-9983-697aaf9cbbba · outbound

This paper cites On notions of regularity for data languages.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory On notions of regularity for data languages

Reference 17

Resolution: verified exact; doi, observed 2026-08-07T06:09:10.213010Z

Source-reported events for the cited work

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

Observation 98b3235b-d536-4389-a028-1eb6a180381c · outbound

This paper cites Slightly Infinite Sets.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Slightly Infinite Sets

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:13.813872Z

Source-reported events for the cited work

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

Observation f93b446f-36aa-4737-b4bb-ef3203ac5e60 · outbound

This paper cites Two-variable logic on data words.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Two-variable logic on data words

Reference 19

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T06:09:11.856679Z

Source-reported events for the cited work

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

Observation 93ad57ee-a7d1-47a3-9919-18b7aad25b6d · outbound

This paper cites Automata theory in nominal sets.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Automata theory in nominal sets

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:05.105428Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f319a13-6443-4d51-9ed6-9fdf38670c01 · outbound

This paper cites Narayan Kumar.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Narayan Kumar

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:13.626423Z

Source-reported events for the cited work

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

Observation e48ad982-0740-49d8-904c-f4bd02797764 · outbound

This paper cites Bradfield and Colin Stirling.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Bradfield and Colin Stirling

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:05.295852Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87230e16-799a-4c02-9ad5-66fd90143ea3 · outbound

This paper cites Parametric trace slicing and monitoring.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Parametric trace slicing and monitoring

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:05.368882Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ddbd0ce-48ee-44ec-8ba6-41bb4d079094 · outbound

This paper cites an unresolved cited work.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:05.423208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0e5a5c9-cfcb-461e-b87f-24db8d332356 · outbound

This paper cites CTL* and ECTL* as fragments of the modal -calculus.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory CTL* and ECTL* as fragments of the modal -calculus

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:05.527259Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b71b24f0-8a16-4860-add7-d341f89b9393 · outbound

This paper cites Temporal logic, automata and classical theories.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Temporal logic, automata and classical theories

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:13.426094Z

Source-reported events for the cited work

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

Observation 574cea99-3707-4d22-a250-eccda1d40e89 · outbound

This paper cites Efficient monitoring of omega-languages.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Efficient monitoring of omega-languages

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:05.779032Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 588ebeb7-ffd1-4f20-8f60-f610d6fd2c60 · outbound

This paper cites In the Maze of Data Languages.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory In the Maze of Data Languages

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-08-07T06:09:11.533281Z

Source-reported events for the cited work

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

Observation 102635ac-39ec-46a7-8faf-6c3f7af51733 · outbound

This paper cites Monitoring modulo theories.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Monitoring modulo theories

Reference 29

Resolution: verified exact; doi, observed 2026-08-07T06:09:10.044330Z

Source-reported events for the cited work

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

Observation 317fc83c-d74a-4766-9a82-a96a2182b5c2 · outbound

This paper cites LTL with the freeze quantifier and register automata.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory LTL with the freeze quantifier and register automata

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:06.060181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 639f44a0-b00d-497b-a9b6-93b2a5544d38 · outbound

This paper cites On the freeze quantifier in constraint LTL: decidability and complexity.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory On the freeze quantifier in constraint LTL: decidability and complexity

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:06.133315Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31f1c26e-bed7-41d6-bd2b-89f452e3f547 · outbound

This paper cites Seshia, and Hadas Kress - Gazit.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Seshia, and Hadas Kress - Gazit

Reference 32

Resolution: verified exact; doi, observed 2026-08-07T06:09:09.918581Z

Source-reported events for the cited work

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

Observation 87bbcded-7c3c-4f18-ae9a-33d4aa3a7dda · outbound

This paper cites Allen Emerson.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Allen Emerson

Reference 33

Resolution: verified exact; doi, observed 2026-08-07T06:09:09.805133Z

Source-reported events for the cited work

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

Observation e3071793-f675-4f17-a83a-a6528f59d942 · outbound

This paper cites Automatic Synthesis of Systems with Data.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Automatic Synthesis of Systems with Data

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:13.244315Z

Source-reported events for the cited work

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

Observation f91f05b5-63cf-4e41-bbab-3740e42c27b4 · outbound

This paper cites Synthesis of data word transducers.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Synthesis of data word transducers

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:13.021468Z

Source-reported events for the cited work

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

Observation 22e31aa3-1f8b-48aa-b827-13a4329fb5c5 · outbound

This paper cites A taxonomy for classifying runtime verification tools.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory A taxonomy for classifying runtime verification tools

Reference 36

Resolution: verified exact; doi, observed 2026-08-07T06:09:09.648690Z

Source-reported events for the cited work

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

Observation f93f6adf-f31c-4cd8-830f-0bcd027412cb · outbound

This paper cites Reasoning on words and trees with data.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Reasoning on words and trees with data

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:09:12.828142Z

Source-reported events for the cited work

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

Observation cf932c6a-66e0-40c0-af7f-d015b3526f11 · outbound

This paper cites Alternating register automata on finite words and trees.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Alternating register automata on finite words and trees

Reference 38

Resolution: verified exact; doi, observed 2026-08-07T06:09:09.489973Z

Source-reported events for the cited work

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

Observation 298161a6-34a1-4c1e-9413-c03fb56fff54 · outbound

This paper cites Relating timed and register automata.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Relating timed and register automata

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:06.879903Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4aa9cef4-3329-4522-be70-1a7d3cc0f7d5 · outbound

This paper cites an unresolved cited work.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-07T06:09:12.616652Z

Source-reported events for the cited work

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

Observation 055b9960-69cf-4b0e-86bb-c3826d6b5ede · outbound

This paper cites Temporal stream logic: Synthesis beyond the bools.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Temporal stream logic: Synthesis beyond the bools

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:07.079428Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02f14f01-aa1d-4d19-b0bc-59cfc9225216 · outbound

This paper cites Runtime verification based on register automata.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Runtime verification based on register automata

Reference 42

Resolution: verified exact; doi, observed 2026-08-07T06:09:12.470648Z

Source-reported events for the cited work

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

Observation e759df30-5e40-4a4d-a1cd-39aecc2e6458 · outbound

This paper cites Verification of temporal properties of processes in a setting with data.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Verification of temporal properties of processes in a setting with data

Reference 43

Resolution: verified exact; doi, observed 2026-08-07T06:09:09.299193Z

Source-reported events for the cited work

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

Observation a79938cd-48b6-4064-aa0f-04ae129a92b7 · outbound

This paper cites Monitoring events that carry data.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Monitoring events that carry data

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:07.306255Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f933e477-38fd-46c8-ae8a-171f1257cb42 · outbound

This paper cites Finite-memory automata.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Finite-memory automata

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:07.383445Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4e8a244-734e-4e56-98f0-ecdea8e253f0 · outbound

This paper cites Alternation-free modal mu-calculus for data trees.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Alternation-free modal mu-calculus for data trees

Reference 46

Resolution: verified exact; doi, observed 2026-08-07T06:09:09.100706Z

Source-reported events for the cited work

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

Observation 0725b8df-8f56-42b8-806a-034fea59051a · outbound

This paper cites Finite-memory automata with non-deterministic reassignment.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Finite-memory automata with non-deterministic reassignment

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:07.569252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b48e055-66b8-4e2d-988a-b9ee5b5004b7 · outbound

This paper cites An overview of the MOP runtime verification framework.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory An overview of the MOP runtime verification framework

Reference 48

Resolution: verified exact; doi, observed 2026-08-07T06:09:08.938926Z

Source-reported events for the cited work

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

Observation 6dd789ba-911c-4c24-b81e-f68b8b243d65 · outbound

This paper cites Is computing an experimental science? J.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Is computing an experimental science? J

Reference 49

Resolution: verified exact; doi, observed 2026-08-07T06:09:08.820982Z

Source-reported events for the cited work

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

Observation 852a3c92-7c2e-4b82-b889-80395f44010f · outbound

This paper cites Finite state machines for strings over infinite alphabets.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Finite state machines for strings over infinite alphabets

Reference 50

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T06:09:11.331364Z

Source-reported events for the cited work

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

Observation 81935153-8f06-4bc4-bc3f-989461c26f24 · outbound

This paper cites an unresolved cited work.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Unresolved cited work

Reference 51

Resolution: verified exact; doi, observed 2026-08-07T06:09:08.625432Z

Source-reported events for the cited work

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

Observation f2f4e003-e0a9-4279-b375-dbbe62e30f18 · outbound

This paper cites an unresolved cited work.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Unresolved cited work

Reference 52

Resolution: verified exact; doi, observed 2026-08-07T06:09:08.469961Z

Source-reported events for the cited work

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

Observation a5d09609-389f-4d7b-861b-eef3b6351772 · outbound

This paper cites Automata and logics for words and trees over an infinite alphabet.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Automata and logics for words and trees over an infinite alphabet

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:08.103448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2da2150-815b-4396-a5c2-d3401903afb6 · outbound

This paper cites Streett and E.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Streett and E

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:08.204602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe89a070-355c-49f9-b440-1e2c4a6674b2 · outbound

This paper cites A lattice-theoretical fixpoint theorem and its applications.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory A lattice-theoretical fixpoint theorem and its applications

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-07T06:09:08.251155Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4babcba6-e659-4241-9c84-a2bd4c86795d · outbound

This paper cites an unresolved cited work.

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory Unresolved cited work

Reference 56

Resolution: verified exact; raw_fallback, observed 2026-08-07T06:09:11.073436Z

Source-reported events for the cited work

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

Coverage vector

Reference resolution

Outbound references

Pith citing papers