Matches in SemOpenAlex for { <https://semopenalex.org/work/W2009896480> ?p ?o ?g. }
- W2009896480 abstract "We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transition relations, corresponding to finite automata, can easily be represented by finite dimensional matrices; for the infinite case we need to consider an appropriate generalisation of matrix algebras. We argue that C*-algebras, or more precisely Approximately Finite (or AF) algebras, provide a sufficiently rich mathematical structure for modelling probabilistic processes.We show how to construct for a given probabilistic language a unique AF algebra A and how to represent the operational semantics of processes within this framework: finite computations correspond directly to operators in A, while infinite processes are represented by elements in the so-called strong closure of this algebra." @default.
- W2009896480 created "2016-06-24" @default.
- W2009896480 creator A5034703008 @default.
- W2009896480 creator A5018783929 @default.
- W2009896480 date "2006-08-01" @default.
- W2009896480 modified "2023-10-18" @default.
- W2009896480 title "Operator Algebras and the Operational Semantics of Probabilistic Languages" @default.
- W2009896480 cites W132667770 @default.
- W2009896480 cites W1484903112 @default.
- W2009896480 cites W1494550316 @default.
- W2009896480 cites W1503960128 @default.
- W2009896480 cites W1515707356 @default.
- W2009896480 cites W1516475274 @default.
- W2009896480 cites W1527943478 @default.
- W2009896480 cites W153850935 @default.
- W2009896480 cites W1546322230 @default.
- W2009896480 cites W1546768510 @default.
- W2009896480 cites W1550150926 @default.
- W2009896480 cites W1565611252 @default.
- W2009896480 cites W1606156286 @default.
- W2009896480 cites W1955233489 @default.
- W2009896480 cites W1977972728 @default.
- W2009896480 cites W1989095004 @default.
- W2009896480 cites W1992257606 @default.
- W2009896480 cites W2005625453 @default.
- W2009896480 cites W2009311190 @default.
- W2009896480 cites W2022806724 @default.
- W2009896480 cites W2024355065 @default.
- W2009896480 cites W2033036630 @default.
- W2009896480 cites W2033431741 @default.
- W2009896480 cites W2043100293 @default.
- W2009896480 cites W2065145870 @default.
- W2009896480 cites W2075379212 @default.
- W2009896480 cites W2076259017 @default.
- W2009896480 cites W2076687762 @default.
- W2009896480 cites W2096094850 @default.
- W2009896480 cites W2100893927 @default.
- W2009896480 cites W2107471150 @default.
- W2009896480 cites W2109696340 @default.
- W2009896480 cites W2126437775 @default.
- W2009896480 cites W2155748644 @default.
- W2009896480 cites W2157153384 @default.
- W2009896480 cites W2164297069 @default.
- W2009896480 cites W2165469059 @default.
- W2009896480 cites W2177254373 @default.
- W2009896480 cites W2323009482 @default.
- W2009896480 cites W2493677228 @default.
- W2009896480 cites W2729089186 @default.
- W2009896480 cites W2751555667 @default.
- W2009896480 cites W2903005364 @default.
- W2009896480 cites W3215785164 @default.
- W2009896480 cites W562933202 @default.
- W2009896480 cites W2142423074 @default.
- W2009896480 cites W2465557382 @default.
- W2009896480 doi "https://doi.org/10.1016/j.entcs.2006.04.029" @default.
- W2009896480 hasPublicationYear "2006" @default.
- W2009896480 type Work @default.
- W2009896480 sameAs 2009896480 @default.
- W2009896480 citedByCount "3" @default.
- W2009896480 countsByYear W20098964802015 @default.
- W2009896480 crossrefType "journal-article" @default.
- W2009896480 hasAuthorship W2009896480A5018783929 @default.
- W2009896480 hasAuthorship W2009896480A5034703008 @default.
- W2009896480 hasBestOaLocation W20098964801 @default.
- W2009896480 hasConcept C118615104 @default.
- W2009896480 hasConcept C136119220 @default.
- W2009896480 hasConcept C146834321 @default.
- W2009896480 hasConcept C154945302 @default.
- W2009896480 hasConcept C156325763 @default.
- W2009896480 hasConcept C162324750 @default.
- W2009896480 hasConcept C174784677 @default.
- W2009896480 hasConcept C184337299 @default.
- W2009896480 hasConcept C199360897 @default.
- W2009896480 hasConcept C202444582 @default.
- W2009896480 hasConcept C33923547 @default.
- W2009896480 hasConcept C34447519 @default.
- W2009896480 hasConcept C41008148 @default.
- W2009896480 hasConcept C49937458 @default.
- W2009896480 hasConcept C80444323 @default.
- W2009896480 hasConceptScore W2009896480C118615104 @default.
- W2009896480 hasConceptScore W2009896480C136119220 @default.
- W2009896480 hasConceptScore W2009896480C146834321 @default.
- W2009896480 hasConceptScore W2009896480C154945302 @default.
- W2009896480 hasConceptScore W2009896480C156325763 @default.
- W2009896480 hasConceptScore W2009896480C162324750 @default.
- W2009896480 hasConceptScore W2009896480C174784677 @default.
- W2009896480 hasConceptScore W2009896480C184337299 @default.
- W2009896480 hasConceptScore W2009896480C199360897 @default.
- W2009896480 hasConceptScore W2009896480C202444582 @default.
- W2009896480 hasConceptScore W2009896480C33923547 @default.
- W2009896480 hasConceptScore W2009896480C34447519 @default.
- W2009896480 hasConceptScore W2009896480C41008148 @default.
- W2009896480 hasConceptScore W2009896480C49937458 @default.
- W2009896480 hasConceptScore W2009896480C80444323 @default.
- W2009896480 hasLocation W20098964801 @default.
- W2009896480 hasLocation W20098964802 @default.
- W2009896480 hasOpenAccess W2009896480 @default.
- W2009896480 hasPrimaryLocation W20098964801 @default.
- W2009896480 hasRelatedWork W1511909901 @default.
- W2009896480 hasRelatedWork W1576648414 @default.