Introduction Model Analysis Tool Support

First Page		Document Content
Date: 2007-05-30 12:50:22 Markov models Markov processes Statistics Graph theory Markov chain Data Jane Hillston Laboratory for Foundations of Computer Science Chain Stochastic process Stochastic Computing		Introduction Model Analysis Tool Support Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 2,59 MB Share Document on Facebook

	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
	Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston DocID: 1xUMp - View Document
	Bio-PEPA: a framework for the modelling and analysis of biological systems Federica Ciocchetta a,∗ and Jane Hillston a,b a Laboratory for Foundations of Computer Science, The University of Edinburgh, DocID: 1umdS - View Document
	Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems Cheng Feng(B) , Jane Hillston, and Dani¨el Reijsbergen LFCS, School of Informatics, University of Edinburgh, Scotland, UK s1109873@sms. DocID: 1u95K - View Document
	Embedding machine learning in formal stochastic models of biological processes Jane Hillston School of Informatics, University of Edinburgh 29th October 2014 DocID: 1sHGv - View Document