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