Categories of timed stochastic relations

DOI10.1016/J.ENTCS.2009.07.091zbMATH Open1337.68195OpenAlexW2143895493MaRDI QIDQ2805158FDOQ2805158

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

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

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)

Cites Work

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

Cited In (2)

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

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)