LTL ∩ PCTL is decidable because an LTL formula defines a PCTL-expressible tree language iff its word language is DBW-recognizable, via a new HWTcf automata characterization of PCTL.
A protocol for packet network intercommunication,
2 Pith papers cite this work, alongside 818 external citations. Polarity classification is still indexing.
2
Pith papers citing it
818
external citations · external index
years
2026 2representative citing papers
New IPv6 Extension Headers are proposed to enable quantum teleportation, quantum routing (path superposition), and superpositions of quantum processes within the IP layer of the Quantum Internet.
citing papers explorer
-
Deciding the Common Fragment of CTL with Past and LTL
LTL ∩ PCTL is decidable because an LTL formula defines a PCTL-expressible tree language iff its word language is DBW-recognizable, via a new HWTcf automata characterization of PCTL.
-
Packet Routing for the Quantum Internet
New IPv6 Extension Headers are proposed to enable quantum teleportation, quantum routing (path superposition), and superpositions of quantum processes within the IP layer of the Quantum Internet.