ACM Transactions on Computer Systems (TOCS)
Algebraic approaches to program semantics
Algebraic approaches to program semantics
Computational lambda-calculus and monads
Proceedings of the Fourth Annual Symposium on Logic in computer science
A probabilistic powerdomain of evaluations
Proceedings of the Fourth Annual Symposium on Logic in computer science
Abstract and concrete categories
Abstract and concrete categories
Notions of computation and monads
Information and Computation
Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
Theoretical Computer Science
Theoretical Computer Science
Stochastic lambda calculus and monads of probability distributions
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of the ACM (JACM)
Types and programming languages
Types and programming languages
Information Processing Letters
Formal Specifications of Distributed Multimedia Systems
Formal Specifications of Distributed Multimedia Systems
Lifting results for categories of algebras
Theoretical Computer Science
Retracting Some Paths in Process Algebra
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
Lifting Theorems for Kleisli Categories
Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics
Conditionals in Distributive Categories
Conditionals in Distributive Categories
Model checking stochastic automata
ACM Transactions on Computational Logic (TOCL)
Process Algebras for Quantitative Analysis
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
A theory of stochastic systems: part I: Stochastic automata
Information and Computation
Distributing probability over non-determinism
Mathematical Structures in Computer Science
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
Stochastic Relations
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling and simulation of biological processes in BlenX
ACM SIGMETRICS Performance Evaluation Review
Structural operational semantics for stochastic process calculi
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Hi-index | 0.00 |
Stochastic behavior-the probabilistic evolution of a system in time-is essential to modeling the complexity of real-world systems. It enables realistic performance modeling, quality-of-service guarantees, and especially simulations for biological systems. Languages like the stochastic pi calculus have emerged as effective tools to describe and reason about systems exhibiting stochastic behavior. These languages essentially denote continuous-time stochastic processes, obtained through an operational semantics in a probabilistic transition system. In this paper we seek a more descriptive foundation for the semantics of stochastic behavior using categories and monads. We model a first-order imperative language with stochastic delay by identifying probabilistic choice and delay as separate effects, modeling each with a monad, and combining the monads to build a model for the stochastic language.