<--- Back to Details
First PageDocument Content
Process calculi / Jane Hillston / PEPA / Laboratory for Foundations of Computer Science / Markov chain / Principle of compositionality / Process calculus / Edinburgh / Philosophy / Theoretical computer science
Date: 2005-09-27 05:39:14
Process calculi
Jane Hillston
PEPA
Laboratory for Foundations of Computer Science
Markov chain
Principle of compositionality
Process calculus
Edinburgh
Philosophy
Theoretical computer science

Introduction Compositionality: Interaction and Independence Applications and Acceptance

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Download Document from Source Website

File Size: 1,65 MB

Share Document on Facebook

Similar Documents

Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U

DocID: 1xTt6 - View Document

Monte Carlo Markov Chain Algorithms for Sampling Strongly Rayleigh Distributions and Determinantal Point Processes Nima Anari ∗

DocID: 1vbSk - View Document

Mean field and fluid approaches to Markov chain analysis Jeremy T. Bradley ∗ Department of Computing, Imperial College London, UK Representing the explicit state space of performance models has inheren

DocID: 1v7u1 - View Document

ODE approximations to some Markov chain models Perla Sousi January 13, 2009

DocID: 1uW7y - View Document

Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling Daniel Huang Jean-Baptiste Tristan

DocID: 1uvqp - View Document