@inproceedings(DBLP:conf/concur/BortolussiH12, author = "Luca Bortolussi and Jane Hillston", year = "2012", title = "Fluid Model Checking", editor = "Maciej Koutny and Irek Ulidowski", booktitle = "CONCUR", series = "Lecture Notes in Computer Science", volume = "7454", publisher = "Springer", pages = "333--347", doi = "10.1007/978-3-642-32940-1\_24", ) @article(DBLP:journals/pe/BortolussiHLM13, author = "Luca Bortolussi and Jane Hillston and Diego Latella and Mieke Massink", year = "2013", title = "Continuous approximation of collective system behaviour: A tutorial", journal = "Perform. Eval.", volume = "70", number = "5", pages = "317--349", doi = "10.1016/j.peva.2013.01.001", ) @inproceedings(DBLP:conf/fase/BruniCGLV12, author = "Roberto Bruni and Andrea Corradini and Fabio Gadducci and Alberto Lluch-Lafuente and Andrea Vandin", year = "2012", title = "A Conceptual Framework for Adaptation", editor = "Juan de Lara and Andrea Zisman", booktitle = "FASE", series = "Lecture Notes in Computer Science", volume = "7212", publisher = "Springer", pages = "240--254", doi = "10.1007/978-3-642-28872-2\_17", ) @article(DFP98, author = "R. {De Nicola} and G. Ferrari and R. Pugliese", year = "1998", title = "{KLAIM: A Kernel Language for Agents Interaction and Mobility}", journal = "IEEE Transactions on Software Engineering", volume = "24", number = "5", pages = "315--329", doi = "10.1109/32.685256", ) @inproceedings(DFLP11, author = "Rocco {De Nicola} and Gian Luigi Ferrari and Michele Loreti and Rosario Pugliese", year = "2011", title = "A Language-Based Approach to Autonomic Computing", editor = "Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue", booktitle = "FMCO", series = "Lecture Notes in Computer Science", volume = "7542", publisher = "Springer", pages = "25--48", doi = "10.1007/978-3-642-35887-6\_2", ) @inproceedings(DLLM09, author = "Rocco {De Nicola} and Diego Latella and Michele Loreti and Mieke Massink", year = "2009", title = "Rate-Based Transition Systems for Stochastic Process Calculi", editor = "Susanne Albers and Alberto Marchetti-Spaccamela and Yossi Matias and Sotiris E. Nikoletseas and Wolfgang Thomas", booktitle = "ICALP (2)", series = "Lecture Notes in Computer Science", volume = "5556", publisher = "Springer", pages = "435--446", doi = "10.1007/978-3-642-02930-1\_36", ) @article(De+14, author = "Rocco De Nicola and Diego Latella and Michele Loreti and Mieke Massink", year = "2013", title = "A Uniform Definition of Stochastic Process Calculi", journal = "ACM Comput. Surv.", volume = "46", number = "1", pages = "5:1--5:35", doi = "10.1145/2522968.2522973", ) @article(DLPT13, author = "Rocco {De Nicola} and Michele Loreti and Rosario Pugliese and Francesco Tiezzi", year = "2013", title = "A formal approach to autonomic systems programming: The SCEL Language", journal = "ACM Transactions on Autonomous and Adaptive Systems", volume = "To Appear. Available at \url {http://rap.dsi.unifi.it/scel/}", ) @misc(ASCENS, author = "ASCENS: Autonomic Service component Ensembles", title = "http://ascens-ist.eu", ) @inproceedings(DBLP:journals/corr/abs-1109-1365, author = "Vashti Galpin and Jane Hillston and Federica Ciocchetta", year = "2011", title = "A semi-quantitative equivalence for abstracting from fast reactions", editor = "Ion Petre and Erik P. de Vink", booktitle = "CompMod", series = "EPTCS", volume = "67", pages = "34--49", doi = "10.4204/EPTCS.67.5", ) @inproceedings(DBLP:conf/dsn/HermannsJ07, author = "Holger Hermanns and Sven Johr", year = "2007", title = "Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems", booktitle = "DSN", publisher = "IEEE Computer Society", pages = "718--728", doi = "10.1109/DSN.2007.96", ) @inproceedings(DBLP:conf/fmco/HermannsK09, author = "Holger Hermanns and Joost-Pieter Katoen", year = "2009", title = "The How and Why of Interactive Markov Chains", editor = "Frank S. de Boer and Marcello M. Bonsangue and Stefan Hallerstede and Michael Leuschel", booktitle = "FMCO", series = "Lecture Notes in Computer Science", volume = "6286", publisher = "Springer", pages = "311--337", doi = "10.1007/978-3-642-17071-3\_16", ) @inproceedings(HRW08, author = "Matthias H\"{o}lzl and Axel Rauschmayer and Martin Wirsing", year = "2008", title = "Software Engineering for Ensembles", booktitle = "Software-Intensive Systems and New Computing Paradigms", publisher = "Springer", pages = "45--63", doi = "10.1007/978-3-540-89437-7\_2", ) @misc(InterLink, author = "Project InterLink", year = "2007", title = "http://interlink.ics.forth.gr/central.aspx", ) @techreport(LLMS13, author = "Diego Latella and Michele Loreti and Mieke Massink and Valerio Senni", year = "2014", title = "Stochastically timed predicate-based communication primitives for autonomic computing - Full Paper", type = "Technical Report", number = "TR-QC-03-2014", institution = "QUANTICOL Project", note = "\url {http://www.quanticol.eu/}", ) @article(MS06, author = "Nicola Mezzetti and Davide Sangiorgi", year = "2006", title = "Towards a Calculus For Wireless Systems", journal = "Electr. Notes Theor. Comput. Sci.", volume = "158", pages = "331--353", doi = "10.1016/j.entcs.2006.04.017", ) @article(DBLP:journals/mscs/Palamidessi03, author = "Catuscia Palamidessi", year = "2003", title = "Comparing The Expressive Power Of The Synchronous And Asynchronous Pi-Calculi", journal = "Mathematical Structures in Computer Science", volume = "13", number = "5", pages = "685--719", doi = "10.1017/S0960129503004043", ) @article(SRS10, author = "Anu Singh and C. R. Ramakrishnan and Scott A. Smolka", year = "2010", title = "A process calculus for Mobile Ad Hoc Networks", journal = "Sci. Comput. Program.", volume = "75", number = "6", pages = "440--469", doi = "10.1016/j.scico.2009.07.008", ) @article(EnsComp10, author = "Roy Want and Eve Schooler and Lenka Jelinek and Jaeyeon Jung and Dan Dahle and Uttam Sengupta", year = "2010", title = "Ensemble Computing: Opportunities And Challenges", journal = "Intel Technology Journal", volume = "14", number = "1", pages = "118--141", doi = "10.1145/1592761.1592785", )