Carrathool - Document - PDFSEARCH.IO - Document Search Engine

First Page		Document Content
Date: 2013-05-14 03:30:19 Black Stump Hillston New South Wales Kidman Way States and territories of Australia Merriwagga Geography of Australia		Add to Reading List Source URL: www.carrathool.nsw.gov.au Download Document from Source Website File Size: 642,52 KB 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
	Rigorous Graphical Modelling of Movement in Collective Adaptive Systems N. Zo´ n(B) , S. Gilmore, and J. Hillston Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Edinburgh DocID: 1uiqF - 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