Linear Structures for Concurrency in Probabilistic Programming Languages
From MaRDI portal
Publication:4923370
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
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