Linear Structures for Concurrency in Probabilistic Programming Languages
Work
Year: 2001
Type: article
Abstract: We introduce a semantical model based on operator algebras and we show the suitability of this model to capture both a quantitative version of non-determinism (in the form of a probabilistic choice) a... more
Institutions University of Pisa, Imperial College London
Cites: 57
Cited by: 6
Related to: 10
FWCI: 0.905
Citation percentile (by year/subfield): 67.51
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: gold