安心地散步
发表于 2025-4-1 03:16:21
https://doi.org/10.1007/978-3-8350-5487-5for Basic CCS and Basic Process Algebra, as a means for defining synchronization trees up to isomorphism as well as modulo bisimilarity and language equivalence. The expressiveness of algebraic recursion schemes is also compared to that of the low levels in the Caucal hierarchy.
最低点
发表于 2025-4-1 09:42:54
,Thesenförmige Zusammenfassung, up to a given error . > 0 and computing a finite representation of an .-optimal strategy. We show that these problems are solvable in exponential time for a given configuration, and we also show that they are computationally hard in the sense that a polynomial-time approximation algorithm cannot exist unless P=NP.
Lipohypertrophy
发表于 2025-4-1 11:13:29
Algebraic Synchronization Trees and Processesfor Basic CCS and Basic Process Algebra, as a means for defining synchronization trees up to isomorphism as well as modulo bisimilarity and language equivalence. The expressiveness of algebraic recursion schemes is also compared to that of the low levels in the Caucal hierarchy.
让步
发表于 2025-4-1 16:50:17
Minimizing Expected Termination Time in One-Counter Markov Decision Processes up to a given error . > 0 and computing a finite representation of an .-optimal strategy. We show that these problems are solvable in exponential time for a given configuration, and we also show that they are computationally hard in the sense that a polynomial-time approximation algorithm cannot exist unless P=NP.