Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T12:36:06.995176Z
Paper Citation Record · LEDGER
Verification of Flat FIFO Systems
As of 16 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:1908.07282.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
38 of 38 outbound references displayed
- verified exact3
- verified fuzzy34
- unresolved1
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation d328697e-0831-4a13-bb98-6a029290f507 · outbound
This paper cites On-the-fly analysis of systems with unbounded, lossy FIFO channels.
Verification of Flat FIFO Systems On-the-fly analysis of systems with unbounded, lossy FIFO channels
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.632253Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 733a95b9-492a-4adb-b8c9-255c38aaf16b · outbound
This paper cites Using forward reachability analysis for verification of lossy channel systems.Formal Methods in System Design, 25(1):39– 65, 2004.
Verification of Flat FIFO Systems Using forward reachability analysis for verification of lossy channel systems.Formal Methods in System Design, 25(1):39– 65, 2004
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.618421Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 57b60d12-e837-4904-a7ef-388d22378d8e · outbound
This paper cites Trex: A tool for reachability analysis of complex systems.
Verification of Flat FIFO Systems Trex: A tool for reachability analysis of complex systems
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.603237Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2190d418-43fd-421b-b9b1-6e63c684dffd · outbound
This paper cites FAST: Fast Acceleration of Symbolic Transition systems.
Verification of Flat FIFO Systems FAST: Fast Acceleration of Symbolic Transition systems
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.587275Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 79eeeb39-7700-4eb6-9563-5b57c9ce8b07 · outbound
This paper cites FAST: Acceleration from theory to practice.
Verification of Flat FIFO Systems FAST: Acceleration from theory to practice
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.572279Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c9301c3d-e55f-45ef-acde-27e82366c384 · outbound
This paper cites Flat acceleration in symbolic model checking.
Verification of Flat FIFO Systems Flat acceleration in symbolic model checking
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.556698Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8d3fb25d-e501-45d1-be2d-7b11ff079ee4 · outbound
This paper cites Domain-specific regular acceleration.
Verification of Flat FIFO Systems Domain-specific regular acceleration
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.541124Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1f101bb4-52fc-4732-a25a-3f8865879350 · outbound
This paper cites The power of QDDs (extended abstract).
Verification of Flat FIFO Systems The power of QDDs (extended abstract)
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.526290Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 720a6622-4d75-4ac6-b085-84df3ef89bb5 · outbound
This paper cites Bounded reachability problems are decidable in FIFO machines.
Verification of Flat FIFO Systems Bounded reachability problems are decidable in FIFO machines
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.510782Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation aa444fdc-c625-4594-bbec-3401f7a33d09 · outbound
This paper cites Symbolic reachability analysis of fifo-channel systems with nonregular sets of configurations.
Verification of Flat FIFO Systems Symbolic reachability analysis of fifo-channel systems with nonregular sets of configurations
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.495117Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f65503d9-1322-4478-8a39-5cd65811732a · outbound
This paper cites Cyclic Petri net reachability sets are semi-linear effectively con- structible.
Verification of Flat FIFO Systems Cyclic Petri net reachability sets are semi-linear effectively con- structible
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.479986Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 86601fc9-16ee-4db6-9084-d2535167f8da · outbound
This paper cites The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops.
Verification of Flat FIFO Systems The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops
Reference 12
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T12:36:07.085902Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation bfe521c6-f46f-4b53-99da-4a6cb887864c · outbound
This paper cites Tool demonstration of the FLATA counter automata toolset.
Verification of Flat FIFO Systems Tool demonstration of the FLATA counter automata toolset
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.464858Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 42a3e062-a224-40d2-b4f4-ea698271b686 · outbound
This paper cites On communicating finite-state machines.
Verification of Flat FIFO Systems On communicating finite-state machines
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.450490Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d541b241-757d-4f2b-b3e3-375780443587 · outbound
This paper cites Choreography and orchestration conformance for system design.
Verification of Flat FIFO Systems Choreography and orchestration conformance for system design
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.435089Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 729fb27d-0374-465f-b6d5-fa4a2b83a278 · outbound
This paper cites Verification of programs with half-duplex communication.Information and Computation, 202(2):166–190, November 2005.
Verification of Flat FIFO Systems Verification of programs with half-duplex communication.Information and Computation, 202(2):166–190, November 2005
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.420634Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5abe7ca6-151a-4640-9f1f-f7c1aff5af03 · outbound
This paper cites Model- checking counting temporal logics on flat structures.
Verification of Flat FIFO Systems Model- checking counting temporal logics on flat structures
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.405690Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation cd86dd20-d434-4672-8891-0ca9158b1ae8 · outbound
This paper cites Demri, A.
Verification of Flat FIFO Systems Demri, A
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.390679Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ea8d57e5-5667-44f4-a67e-26dc7ccff127 · outbound
This paper cites Equivalence between model-checking flat counter systems and presburger arithmetic.
Verification of Flat FIFO Systems Equivalence between model-checking flat counter systems and presburger arithmetic
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.375786Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8c647dd3-e4a4-4ebb-8b42-7d9b30096eb6 · outbound
This paper cites On the complexity of verifying regular properties on flat counter systems.
Verification of Flat FIFO Systems On the complexity of verifying regular properties on flat counter systems
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.360565Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 16bfb3e2-7c04-4127-892c-48d46f0db82d · outbound
This paper cites Taming past LTL and flat counter systems.
Verification of Flat FIFO Systems Taming past LTL and flat counter systems
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.343875Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 530138ad-78b0-4f6b-99e5-d029c1c23b99 · outbound
This paper cites Model-checking CTL* over flat Presburger counter systems.
Verification of Flat FIFO Systems Model-checking CTL* over flat Presburger counter systems
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.328148Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8fec4b75-ab7f-4108-9b90-bd7eb8a421b8 · outbound
This paper cites Structurally cyclic petri nets.Logical Methods in Computer Science , 11(4), 2015.
Verification of Flat FIFO Systems Structurally cyclic petri nets.Logical Methods in Computer Science , 11(4), 2015
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.312735Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation dde975ab-9929-4fb7-bcad-adfb9257f7a9 · outbound
This paper cites A perfect model for bounded verification.
Verification of Flat FIFO Systems A perfect model for bounded verification
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.296507Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 046a694e-ce34-446f-a982-d9a90842bc7a · outbound
This paper cites Structuration des syst` emes de transitions: applications au contrˆ ole du parall´ elisme par files fifo, Th` ese d’Etat.
Verification of Flat FIFO Systems Structuration des syst` emes de transitions: applications au contrˆ ole du parall´ elisme par files fifo, Th` ese d’Etat
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.279987Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9e1e5e9b-3118-41f6-b54e-ea31779ec642 · outbound
This paper cites Forward analysis for WSTS, part II: Complete WSTS.
Verification of Flat FIFO Systems Forward analysis for WSTS, part II: Complete WSTS
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.264523Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3f0b1cdd-1f2a-4902-9266-f100597f834e · outbound
This paper cites Synchronizability of communicating finite state machines is not decidable.
Verification of Flat FIFO Systems Synchronizability of communicating finite state machines is not decidable
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.248627Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 563a3597-a5d8-480d-827b-64ae6b152ac7 · outbound
This paper cites Purushothaman Iyer, and Gr´ egoire Sutre.
Verification of Flat FIFO Systems Purushothaman Iyer, and Gr´ egoire Sutre
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.232599Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ace6677d-b633-4938-9e25-0f0d2ed8c791 · outbound
This paper cites On communicating automata with bounded channels.
Verification of Flat FIFO Systems On communicating automata with bounded channels
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.216367Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2b42e462-89b7-40ff-9caf-2d57a7c320db · outbound
This paper cites On the complexity of model checking counter automata.
Verification of Flat FIFO Systems On the complexity of model checking counter automata
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.200577Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ed2f8e7a-5b05-425f-9d79-c7e9e1a04374 · outbound
This paper cites an unresolved cited work.
Verification of Flat FIFO Systems Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T12:36:07.184457Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 35fff65d-51b7-43df-bd67-7ccba3c1c1ac · outbound
This paper cites Testing for unboundedness of FIFO channels.
Verification of Flat FIFO Systems Testing for unboundedness of FIFO channels
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.167918Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b856cd80-4d2d-4ac2-8dbd-c4f5e6240e38 · outbound
This paper cites Verifying Asynchronous Interactions via Communicating Session Automata.
Verification of Flat FIFO Systems Verifying Asynchronous Interactions via Communicating Session Automata
Reference 33
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T12:36:07.064157Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d01e16a0-de32-4dc5-90d7-45a2bf3aff33 · outbound
This paper cites Papadimitriou.
Verification of Flat FIFO Systems Papadimitriou
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.152409Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9f13abef-7aab-413b-9fb2-cf895e2c2f62 · outbound
This paper cites Complexity hierarchies beyond elementary.
Verification of Flat FIFO Systems Complexity hierarchies beyond elementary
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.136342Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 47d342ba-67a1-422f-9532-021e7bec1099 · outbound
This paper cites On flat lossy channel machines.
Verification of Flat FIFO Systems On flat lossy channel machines
Reference 36
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T12:36:07.041330Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation db042fef-8176-41b9-99ae-d6e16c2d23c6 · outbound
This paper cites Personal communication, 2018.
Verification of Flat FIFO Systems Personal communication, 2018
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.119197Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2e824f9d-4c9a-4c32-ab56-d687783ed144 · outbound
This paper cites Communication protocols and error recovery procedures.
Verification of Flat FIFO Systems Communication protocols and error recovery procedures
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:36:07.102607Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.