Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Quantum bisimilarity via barbs and contexts: curbing the power of non-deterministic observers
L Ceragioli, F Gadducci, G Lomurno… - Proceedings of the ACM …, 2024 - dl.acm.org
Past years have seen the development of a few proposals for quantum extensions of
process calculi. The rationale is clear: with the development of quantum communication …
process calculi. The rationale is clear: with the development of quantum communication …
Combining probabilistic and non-deterministic choice via weak distributive laws
A Goy, D Petrişan - Proceedings of the 35th Annual ACM/IEEE …, 2020 - dl.acm.org
Combining probabilistic choice and non-determinism is a long standing problem in
denotational semantics. From a category theory perspective, the problem stems from the …
denotational semantics. From a category theory perspective, the problem stems from the …
Expressive quantale-valued logics for coalgebras: an adjunction-based approach
We address the task of deriving fixpoint equations from modal logics characterizing
behavioural equivalences and metrics (summarized under the term conformances). We rely …
behavioural equivalences and metrics (summarized under the term conformances). We rely …
Monads and quantitative equational theories for nondeterminism and probability
M Mio, V Vignudelli - ar** denotational models for higher-order languages that combine probabilistic and
nondeterministic choice is known to be very challenging. In this paper, we propose an …
nondeterministic choice is known to be very challenging. In this paper, we propose an …