A Stochastic Causality-Based Process Algebra | Zendy

Ed Brinksma | Zendy; Joost-Pieter Katoen | Zendy; Rom Langerak | Zendy; Diego Latella | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Stochastic Causality-Based Process Algebra

Author(s) -

Ed Brinksma,

Joost-Pieter Katoen,

Rom Langerak,

Diego Latella

Publication year - 1995

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/38.7.552

Subject(s) - erlang (programming language) , phase type distribution , stochastic process , causality (physics) , simple (philosophy) , continuous time stochastic process , erlang distribution , exponential function , random variable , event (particle physics) , mathematics , exponential distribution , computer science , probability distribution , extension (predicate logic) , theoretical computer science , statistics , mathematical analysis , programming language , functional programming , philosophy , physics , epistemology , quantum mechanics

This paper discusses stochastic extensions of a simple process algebra in a causalitybasedsetting. Atomic actions are supposed to happen after a delay that is determinedby a stochastic variable with a certain distribution. A simple stochastic typeof event structures is discussed, restricting the distribution functions to be exponential.A corresponding operational semantics of this model is given and comparedto existing (interleaved) approaches. Secondly, a stochastic variant of event...

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research