<--- Back to Details
First PageDocument Content
Markov models / Graph theory / Markov processes / Stochastic process / Stochastic / PEPA / Markov chain / Scientific modelling / Process calculus
Date: 2010-06-17 03:44:24
Markov models
Graph theory
Markov processes
Stochastic process
Stochastic
PEPA
Markov chain
Scientific modelling
Process calculus

Introduction Motivation Syntax and semantics

Add to Reading List

Source URL: www.cs.stir.ac.uk

Download Document from Source Website

File Size: 591,54 KB

Share Document on Facebook

Similar Documents

Theoretical computer science / Markov models / Formal methods / Graph theory / Markov chain / Process calculus / Semantics / Stochastic process / Mathematics

Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

DocID: 1xVg5 - View Document

Signal transduction / Cell signaling / Protein kinase inhibitors / MAPK/ERK pathway / Raf kinase inhibitor protein / RAF kinase / Metabolic pathway / Pathway / C-Raf

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA Muffy Calder1 , Stephen Gilmore2 , and Jane Hillston2 1

DocID: 1xTb0 - View Document

Journal of Financial and Strategic Decisions Volume 13 Number 2 SummerGARCH MODELS AND THE STOCHASTIC PROCESS

DocID: 1v6y9 - View Document

An implied latent position process for doubly stochastic messaging activities Nam H. Lee∗ and Carey E. Priebe† and Minh Tang‡ Department of Applied Mathematics and Statistics Johns Hopkins University Baltimore, MD

DocID: 1v16M - View Document

INVASION PROBABILITIES, HITTING TIMES, AND SOME FLUCTUATION THEORY FOR THE STOCHASTIC LOGISTIC PROCESS arXiv:1704.02168v1 [q-bio.PE] 7 Apr 2017

DocID: 1uyb8 - View Document