@incollection(worrell01:approximate, author = "Franck van Breugel and James Worrell", year = "2001", title = "Towards Quantitative Verification of Probabilistic Transition Systems", booktitle = "ICALP", series = "LNCS", volume = "2076", publisher = "Springer", pages = "421--432", doi = "10.1007/3-540-48224-5\_35", ) @article(BuchholzOrdinaryExact, author = "Peter Buchholz", year = "1994", title = "{Exact and Ordinary Lumpability in Finite Markov Chains}", journal = "Journal of Applied Probability", volume = "31", number = "1", pages = "59--75", doi = "10.2307/3215235", ) @inproceedings(bucholz94papm, author = "Peter Buchholz", year = "1994", title = "{Markovian Process Algebra: Composition and Equivalence}", booktitle = "Proc. 2nd {PAPM} Workshop", address = "Erlangen, Germany", ) @article(Cardelli_TCS_08, author = "Luca Cardelli", year = "2008", title = "On process rate semantics", journal = "Theor. Comput. Sci.", volume = "391", pages = "190--215", doi = "10.1016/j.tcs.2007.11.012", ) @article(Ciocchetta_Hillston_09, author = "Federica Ciocchetta and Jane Hillston", year = "2009", title = "{Bio-PEPA}: A framework for the modelling and analysis of biological systems", journal = "Theor. Comput. Sci.", volume = "410", number = "33--34", pages = "3065--3084", doi = "10.1016/j.tcs.2009.02.037", ) @inproceedings(DBLP:conf/lics/DanosFFHK10, author = "Vincent Danos and Jerome Feret and Walter Fontana and Russell Harmer and Jean Krivine", year = "2010", title = "Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction", booktitle = "LICS", pages = "362--381", url = "http://doi.ieeecomputersociety.org/10.1109/LICS.2010.44", ) @article(Danos200469, author = "Vincent Danos and Cosimo Laneve", year = "2004", title = "Formal molecular biology", journal = "Theoretical Computer Science", volume = "325", number = "1", pages = "69--110", doi = "10.1016/j.tcs.2004.03.065", ) @inproceedings(1029849, author = "Josee Desharnais and Radha Jagadeesan and Vineet Gupta and Prakash Panangaden", year = "2002", title = "The metric analogue of weak bisimulation for probabilistic processes", booktitle = "LICS", pages = "413--422", doi = "10.1109/LICS.2002.1029849", ) @inproceedings(DBLP:conf/concur/PierroHW03, author = "Alessandra {Di Pierro} and Chris Hankin and Herbert Wiklicky", year = "2003", title = "Quantitative Relations and Approximate Process Equivalences", booktitle = "CONCUR", pages = "498--512", url = "http://dx.doi.org/10.1007/978-3-540-45187-7_33", ) @incollection(Faeder:2009aa, author = "James R. Faeder and Michael L. Blinov and William S. Hlavacek", year = "2009", title = "Rule-Based Modeling of Biochemical Systems with {BioNetGen}", series = "Methods Mol. Biol.", volume = "500", pages = "113--167", doi = "10.1007/978-1-59745-525-1\_5", ) @article(canonical, author = "S. Gilmore and J. Hillston and M. Ribaudo", year = "2001", title = "An efficient algorithm for aggregating {PEPA} models", journal = "IEEE Transactions on Software Engineering", volume = "27", number = "5", pages = "449--464", doi = "10.1109/32.922715", ) @article(HaydenLipschitz, author = "Richard A. Hayden and Anton Stefanek and Jeremy T. Bradley", year = "2012", title = "Fluid computation of passage-time distributions in large {Markov} models", journal = "Theor. Comput. Sci.", volume = "413", number = "1", pages = "106--141", doi = "10.1016/j.tcs.2011.07.017", ) @inproceedings(DBLP:conf/esm/HermannsR98, author = "Holger Hermanns and Marina Ribaudo", year = "1998", title = "Exploiting Symmetries in Stochastic Process Algebras", booktitle = "European Simulation Multiconference", address = "Manchester, UK", pages = "763--770", ) @inproceedings(Hillston_QEST05, author = "J. Hillston", year = "2005", title = "{Fluid flow approximation of PEPA models}", booktitle = "Proceedings of Quantitative Evaluation of Systems", publisher = "IEEE Computer Society Press", pages = "33--43", doi = "10.1109/QEST.2005.12", ) @book(pepa, author = "Jane Hillston", year = "1996", title = "A compositional approach to performance modelling", publisher = "Cambridge University Press", address = "New York, NY, USA", doi = "10.1017/CBO9780511569951", ) @inproceedings(dsn2013, author = "Giulio Iacobelli and Mirco Tribastone", year = "2013", title = "Lumpability of fluid models with heterogeneous agent types", booktitle = "DSN", pages = "1--11", doi = "10.1109/DSN.2013.6575346", ) @incollection(springerlink:10.1007/BFb0039071, author = "Chi-Chang Jou and Scott Smolka", year = "1990", title = "Equivalences, congruences, and complete axiomatizations for probabilistic processes", booktitle = "CONCUR", series = "LNCS", volume = "458", pages = "367--383", doi = "10.1007/BFb0039071", ) @article(10.3389/fgene.2012.00131, author = "Ovidiu Radulescu and Alexander N. Gorban and Andrei Zinovyev and Vincent Noel", year = "2012", title = "Reduction of dynamical biochemical reactions networks in computational biology", journal = "Frontiers in Genetics", volume = "3", number = "131", doi = "10.3389/fgene.2012.00131", ) @article(DBLP:journals/tse/TribastoneGH12, author = "Mirco Tribastone and Stephen Gilmore and Jane Hillston", year = "2012", title = "Scalable Differential Analysis of Process Algebra Models", journal = "IEEE Transactions on Software Engineering", volume = "38", number = "1", pages = "205--219", url = "http://doi.ieeecomputersociety.org/10.1109/TSE.2010.82", ) @inproceedings(concur12, author = "Max Tschaikowski and Mirco Tribastone", year = "2012", title = "{Exact fluid lumpability for Markovian process algebra}", booktitle = "CONCUR", series = "LNCS", volume = "7545", pages = "380--394", doi = "10.1007/978-3-642-32940-1\_27", url = "http://www.pst.ifi.lmu.de/Personen/team/tschaikowski/concur12_techreport.pdf", ) @article(efl_tcs, author = "Max Tschaikowski and Mirco Tribastone", year = "2013", title = "Exact fluid lumpability in Markovian process algebra", journal = "Theoretical Computer Science", doi = "10.1016/j.tcs.2013.07.029", url = "http://www.sciencedirect.com/science/article/pii/S0304397513005598", ) @article(Tschaikowski2013a, author = "Max Tschaikowski and Mirco Tribastone", year = "2013", title = "Tackling continuous state-space explosion in a {Markovian} process algebra", journal = "Theoretical Computer Science", doi = "10.1016/j.tcs.2013.08.016", url = "http://www.sciencedirect.com/science/article/pii/S0304397513006403", ) @article(Wang22052009, author = "Pu Wang and Marta C. Gonz{\'a}lez and C{\'e}sar A. Hidalgo and Albert-L{\'a}szl{\'o} Barab{\'a}si", year = "2009", title = "Understanding the Spreading Patterns of Mobile Phone Viruses", journal = "Science", volume = "324", number = "5930", pages = "1071--1076", doi = "10.1126/science.1167053", ) @article(Watson1972, author = "Raymond Keith Watson", year = "1972", title = "On an Epidemic in a Stratified Population", journal = "Journal of Applied Probability", volume = "9", number = "3", pages = "659--666", doi = "10.2307/3212334", )