Categories of timed stochastic relations

DOI10.1016/J.ENTCS.2009.07.091MaRDI QIDQ2805158zbMATH OpenOpenAlexFDO

Authors Daniel Brown, Riccardo Pucella

Publication date 10 May 2016

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

Full work available at URL https://doi.org/10.1016/j.entcs.2009.07.091

zbMATH Keywords

probabilitycategory theorymonadsstochastic behaviorpartial additivity

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categorical semantics of formal languages (18C50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
• A theory of stochastic systems. I: Stochastic automata
• Stochastic Pi-calculus Revisited
• Stochastic Relations
• scientific article; zbMATH DE number 836614

Cites work

• scientific article; zbMATH DE number 1713116 (Why is no real title available?)
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• scientific article; zbMATH DE number 3845811 (Why is no real title available?)
• scientific article; zbMATH DE number 3875591 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 3522951 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• A Compositional Approach to Performance Modelling
• A probabilistic PDL
• A theory of stochastic systems. I: Stochastic automata
• A theory of timed automata
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
• CPO's of measures for nondeterminism
• Categories of timed stochastic relations
• Distributing probability over non-determinism
• Evolving BlenX programs to simulate the evolution of biological networks
• Lifting results for categories of algebras
• Lifting theorems for Kleisli categories
• Model checking stochastic automata
• Modeling biological systems in stochastic concurrent constraint programming
• Notions of computation and monads
• Retracing some paths in process algebra
• Semantics of probabilistic programs
• Stochastic Relations
• Stochastic lambda calculus and monads of probability distributions
• Structural Operational Semantics for Stochastic Process Calculi
• Timed regular expressions
• Types and programing languages
• Unique decomposition categories, Geometry of Interaction and combinatory logic

Cited in

(2)

• Approximate relational Hoare logic for continuous random samplings
• Categories of timed stochastic relations

Describes a project that uses

Uses Software

• Bio-PEPA
• BlenX

This page was built for publication: Categories of timed stochastic relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805158)