Linear Structures for Concurrency in Probabilistic Programming Languages

DOI10.1016/S1571-0661(05)80039-8zbMath1264.68041OpenAlexW2024167763MaRDI QIDQ4923370

Herbert Wiklicky, Alessandra Di Pierro

Publication date: 6 June 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(05)80039-8

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites Work

• Nondeterminism and infinite computations in constraint programming
• Non-commutative differential geometry
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• On dimension functions and topological Markov chains
• CPO's of measures for nondeterminism
• A class of C*-algebras and topological Markov chains
• Non-negative matrices and Markov chains. 2nd ed
• Semantics of probabilistic programs
• Domain theory in logical form
• Bisimulation through probabilistic testing
• Truly concurrent constraint programming
• Reactive, generative, and stratified models of probabilistic processes
• Axiomatizing probabilistic processes: ACP with generative probabilities
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• A Survey on Spectra of infinite Graphs
• 𝐶*-Algebras: 1943–1993
• Markov Chains
• Semiring-based constraint satisfaction and optimization
• An Introduction to Symbolic Dynamics and Coding
• \(C^*\)-algebras by example
• Metric semantics for true concurrent real time
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Linear Structures for Concurrency in Probabilistic Programming Languages