Linear Structures for Concurrency in Probabilistic Programming Languages (Q4923370): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing probabilistic processes: ACP with generative probabilities
+Normal rank
@@ Property / cites work @@
+A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
+Normal rank
@@ Property / cites work @@
+Semiring-based constraint satisfaction and optimization
+Normal rank
@@ Property / cites work @@
+Q5691133
@@ Property / cites work: Q5691133 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-commutative differential geometry
@@ Property / cites work: Non-commutative differential geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4730462
@@ Property / cites work: Q4730462 / rank @@
+Normal rank
@@ Property / cites work @@
+A class of C*-algebras and topological Markov chains
+Normal rank
@@ Property / cites work @@
+\(C^*\)-algebras by example
@@ Property / cites work: \(C^*\)-algebras by example / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373409
@@ Property / cites work: Q4373409 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterminism and infinite computations in constraint programming
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Q4944894
@@ Property / cites work: Q4944894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4150220
@@ Property / cites work: Q4150220 / rank @@
+Normal rank
@@ Property / cites work @@
+𝐶*-Algebras: 1943–1993
@@ Property / cites work: 𝐶*-Algebras: 1943–1993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3254057
@@ Property / cites work: Q3254057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994935
@@ Property / cites work: Q3994935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998720
@@ Property / cites work: Q3998720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525419
@@ Property / cites work: Q5525419 / rank @@
+Normal rank
@@ Property / cites work @@
+Truly concurrent constraint programming
@@ Property / cites work: Truly concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3884021
@@ Property / cites work: Q3884021 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760248
@@ Property / cites work: Q2760248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222969
@@ Property / cites work: Q4222969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667432
@@ Property / cites work: Q3667432 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3736359
@@ Property / cites work: Q3736359 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric semantics for true concurrent real time
@@ Property / cites work: Metric semantics for true concurrent real time / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+On dimension functions and topological Markov chains
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Symbolic Dynamics and Coding
@@ Property / cites work: An Introduction to Symbolic Dynamics and Coding / rank @@
+Normal rank
@@ Property / cites work @@
+Q4254883
@@ Property / cites work: Q4254883 / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey on Spectra of infinite Graphs
@@ Property / cites work: A Survey on Spectra of infinite Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997462
@@ Property / cites work: Q3997462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023828
@@ Property / cites work: Q4023828 / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Chains
@@ Property / cites work: Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304296
@@ Property / cites work: Q4304296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3909512
@@ Property / cites work: Q3909512 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3197878
@@ Property / cites work: Q3197878 / rank @@
+Normal rank
@@ Property / cites work @@
+CPO's of measures for nondeterminism
@@ Property / cites work: CPO's of measures for nondeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+Non-negative matrices and Markov chains. 2nd ed
@@ Property / cites work: Non-negative matrices and Markov chains. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195444
@@ Property / cites work: Q4195444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4851818
@@ Property / cites work: Q4851818 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+Q3135819
@@ Property / cites work: Q3135819 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5620934
@@ Property / cites work: Q5620934 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(05)80039-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2024167763
@@ Property / OpenAlex ID: W2024167763 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4923370