Categories of Timed Stochastic Relations

DOI10.1016/j.entcs.2009.07.091zbMath1337.68195OpenAlexW2143895493MaRDI QIDQ2805158

No author found.

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

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

Related Items (2)

Approximate relational Hoare logic for continuous random samplings ⋮ Categories of Timed Stochastic Relations

Uses Software

• Bio-PEPA
• BlenX

Cites Work

• 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
• Notions of computation and monads
• Modeling biological systems in stochastic concurrent constraint programming
• Evolving BlenX programs to simulate the evolution of biological networks
• A probabilistic PDL
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• CPO's of measures for nondeterminism
• Semantics of probabilistic programs
• A theory of timed automata
• Lifting results for categories of algebras
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• A theory of stochastic systems. I: Stochastic automata
• Categories of Timed Stochastic Relations
• Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
• Timed regular expressions
• Unique decomposition categories, Geometry of Interaction and combinatory logic
• Stochastic lambda calculus and monads of probability distributions
• Model checking stochastic automata
• Stochastic Relations
• Structural Operational Semantics for Stochastic Process Calculi
• A Compositional Approach to Performance Modelling
• Distributing probability over non-determinism
• Lifting theorems for Kleisli categories
• Retracing some paths in process algebra

This page was built for publication: Categories of Timed Stochastic Relations