21![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
|
---|
22![Stochastic Hillclimbing as a Baseline Method for Evaluating Genetic Algorithms Ari Juels Department of Computer Science Stochastic Hillclimbing as a Baseline Method for Evaluating Genetic Algorithms Ari Juels Department of Computer Science](https://www.pdfsearch.io/img/808abae3a014cd89619ce6ad3f7e1b47.jpg) | Add to Reading ListSource URL: pdfs.semanticscholar.orgLanguage: English - Date: 2017-03-10 11:15:03
|
---|
23![LIPIcs Leibniz International Proceedings in Informatics Continuous-Time Stochastic Games with Time-Bounded Reachability LIPIcs Leibniz International Proceedings in Informatics Continuous-Time Stochastic Games with Time-Bounded Reachability](https://www.pdfsearch.io/img/8e8190729f2fdba283c505d15b493707.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 10:22:58
|
---|
24![Simulation of Kohn’s Molecular Interaction Maps Through Translation into Stochastic CLS+ Roberto Barbuti1 , Daniela Lepri2 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 , Giovanni Pardini1 , and Aureliano Rama1 1 Dipar Simulation of Kohn’s Molecular Interaction Maps Through Translation into Stochastic CLS+ Roberto Barbuti1 , Daniela Lepri2 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 , Giovanni Pardini1 , and Aureliano Rama1 1 Dipar](https://www.pdfsearch.io/img/86e8d37e40a9e0826cd56c2f5a8f746d.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:14
|
---|
25![Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways Roberto Barbuti1 , Andrea Maggiolo–Schettini1, Paolo Milazzo1 , Paolo Tiberi1 , and Angelo Troina2 1 Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways Roberto Barbuti1 , Andrea Maggiolo–Schettini1, Paolo Milazzo1 , Paolo Tiberi1 , and Angelo Troina2 1](https://www.pdfsearch.io/img/ba1975eb5fdbe7927e870880b08c1312.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:15
|
---|
26![Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa](https://www.pdfsearch.io/img/e06965c16733a45227f82988fab979d6.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:15
|
---|
27![Automatic Verification of Competitive Stochastic Systems by ˇ Aistis Simaitis Automatic Verification of Competitive Stochastic Systems by ˇ Aistis Simaitis](https://www.pdfsearch.io/img/ffee189145b276f5feb3b460cc40d1e2.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.org- Date: 2014-03-12 18:35:31
|
---|
28![A new method to automate the synthesis of stochastic computing circuits A new method to automate the synthesis of stochastic computing circuits](https://www.pdfsearch.io/img/8d4dd7a756c25ef7ba83f3f5d9d72cac.jpg) | Add to Reading ListSource URL: techxplore.comLanguage: English - Date: 2018-10-26 03:51:56
|
---|
29![Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi](https://www.pdfsearch.io/img/6678a644f3ff518f5c3beffbc2887951.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-10-06 04:04:07
|
---|
30![Reachability in Stochastic Timed Games Patricia Bouyer? and Vojtˇech Forejt?? 1 2 Reachability in Stochastic Timed Games Patricia Bouyer? and Vojtˇech Forejt?? 1 2](https://www.pdfsearch.io/img/df5e42f442311027019a9497f444c547.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 09:55:59
|
---|