Measure and probability for concurrency theorists
type: Item
instance of: scholarly article
title: Measure and probability for concurrency theorists
zbMATH Open document ID: 0956.68058
DOI: 10.1016/S0304-3975(00)00096-7
published in: Theoretical Computer Science
publication date: 2000-12-12T00:00:00Z
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1542392
zbMATH Keywords: measure theory
zbMATH Keywords: probability theory
zbMATH Keywords: conditional probability
zbMATH Keywords: concurrency
zbMATH Keywords: probabilistic semantics
author: Prakash Panangaden
MaRDI profile type: Publication
cites work: Nuclear and trace ideals in tensored \(^*\)-categories
cites work: Q4606219
cites work: Q4222911
cites work: A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems
cites work: Q4836494
cites work: Bisimulation for labelled Markov processes
cites work: Q5563135
cites work: Testing preorders for probabilistic processes
cites work: Domain theory and integration
cites work: Dynamical systems, measures, and fractals via domain theory
cites work: Q5538132
cites work: Q3946875
cites work: Truly concurrent constraint programming
cites work: A Compositional Approach to Performance Modelling
cites work: Q3203061
cites work: CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
cites work: Introdction to Measure and Probability
cites work: Semantics of probabilistic programs
cites work: A probabilistic PDL
cites work: Bisimulation through probabilistic testing
cites work: Q4850047
cites work: Q4856179
cites work: Markov Chains
cites work: Q5526190
cites work: Mathematical foundations of computer science 1978. Proceedings, 7th symposium Zakopane, Poland, September 4-8, 1978
cites work: CPO's of measures for nondeterminism
cites work: Q4004078
description: scientific article; zbMATH DE number 1542392