Introduction Interplay: Process Algebra and Markov Process Applications

First Page		Document Content
Date: 2005-09-27 05:37:50 Process calculi Jane Hillston PEPA Markov chain Laboratory for Foundations of Computer Science Process calculus Algebra Edinburgh Theoretical computer science Mathematics TAPAs model checker		Introduction Interplay: Process Algebra and Markov Process Applications Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 1,58 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