1![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 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](https://www.pdfsearch.io/img/c74b85c88dbfc1f184bc40d6915511f4.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-08-25 14:16:19
|
---|
2![Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston](https://www.pdfsearch.io/img/13f6d0f365e5630079963528c6f0b188.jpg) | Add to Reading ListSource URL: www.dcs.ed.ac.ukLanguage: English - Date: 2008-03-05 10:22:30
|
---|
3![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, 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,](https://www.pdfsearch.io/img/296691495dd2dde995fd4581ea5af431.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2010-05-13 03:56:16
|
---|
4![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 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](https://www.pdfsearch.io/img/b3d2ae32505bf23f211cc0028eb2974d.jpg) | Add to Reading ListSource URL: blog.inf.ed.ac.ukLanguage: English - Date: 2017-02-23 05:37:24
|
---|
5![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. 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.](https://www.pdfsearch.io/img/487f4181e010ddf6aa552dadec44d06b.jpg) | Add to Reading ListSource URL: blog.inf.ed.ac.ukLanguage: English - Date: 2017-02-15 10:44:44
|
---|
6![Embedding machine learning in formal stochastic models of biological processes Jane Hillston School of Informatics, University of Edinburgh 29th October 2014 Embedding machine learning in formal stochastic models of biological processes Jane Hillston School of Informatics, University of Edinburgh 29th October 2014](https://www.pdfsearch.io/img/991866b174a49aa174bb010ad6951277.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.uk- Date: 2014-10-31 12:53:11
|
---|
7![Rigorous and Random Adventures in Time and Space Jane Hillston Rigorous and Random Adventures in Time and Space Jane Hillston](https://www.pdfsearch.io/img/4ba0d843fa6a04396502caedc6aa01f2.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.uk- Date: 2012-11-23 04:16:38
|
---|
8![StrathclydeHigh-level languages for fluid approximation of agent-based models Jane Hillston LFCS, University of Edinburgh StrathclydeHigh-level languages for fluid approximation of agent-based models Jane Hillston LFCS, University of Edinburgh](https://www.pdfsearch.io/img/46de587566eeaf81ba3d0d6ce1c5bb01.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.uk- Date: 2016-04-19 03:56:46
|
---|
9![Challenges for Quantitative Analysis of Collective Adaptive Systems Jane Hillston LFCS, University of Edinburgh Challenges for Quantitative Analysis of Collective Adaptive Systems Jane Hillston LFCS, University of Edinburgh](https://www.pdfsearch.io/img/1038fdb6384c126e99e8f44db8ec10db.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.uk- Date: 2013-09-02 10:22:02
|
---|
10![Tuning Systems: from Composition to Performance Jane Hillston. LFCS, University of Edinburgh. Tuning Systems: from Composition to Performance Jane Hillston. LFCS, University of Edinburgh.](https://www.pdfsearch.io/img/e90bf60df1d8c2bd4018d6b9f9e07d03.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.uk- Date: 2005-09-27 05:38:20
|
---|