Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010):
A Theory of Design-by-Contract for Distributed Multiparty Interactions.
In: CONCUR,
pp. 162–176,
doi:10.1007/978-3-642-15375-4_12.
Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari & Emilio Tuosto (2011):
A Formal Support to Business and Architectural Design for Service-Oriented Systems.
In: Martin Wirsing & Matthias M. Hölzl: Results of the SENSORIA Project,
Lecture Notes in Computer Science 6582.
Springer,
pp. 133–152,
doi:10.1007/978-3-642-20401-2_7.
Roberto Bruni, Fabio Gadducci & Alberto Lluch Lafuente (2010):
An Algebra of Hierarchical Graphs and its Application to Structural Encoding.
Scientific Annals of Computer Science 20,
pp. 53–96.
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari & Emilio Tuosto (2008):
Style-Based Architectural Reconfigurations.
In: Bulletin of the EATCS,
pp. 161–180.
Fabio Gadducci, Alberto Lluch-Lafuente & Andrea Vandin (2012):
Counterpart Semantics for a Second-Order Calculus.
Fundam. Inform. 118(1-2),
pp. 177–205,
doi:10.3233/FI-2012-709.
Dina Goldin, Scott A. Smolka & Peter Wegner (2006):
Interactive Computation.
Springer-Verlag.
Markus C. Huebscher & Julie A. McCann (2008):
A survey of autonomic computing - degrees, models, and applications.
ACM Comput. Surv. 40(3),
pp. 7:1–7:28,
doi:10.1145/1380584.1380585.
Bart Jacob, Richard Lanyon-Hogg, Devaprasad K. Nadgir & Amr F. Yassin (2004):
A Practical Guide to the IIBM Autonomic Computing Toolkit.
Jeffrey O. Kephart & David M. Chess (2003):
The Vision of Autonomic Computing.
Computer 36(1),
pp. 41–50,
doi:10.1109/MC.2003.1160055.
Yi Liu & H. Conrad Cunningham (2002):
Software Component Specification Using Design by Contract.
In: Proceeding of the South East Software Engineering Conference.
Kyriakos Poyias & Emilio Tuosto (2012):
Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations.
In: ICE,
pp. 67–82,
doi:10.4204/EPTCS.104.7.
Richard N. Taylor, Nenad Medvidovi\'c & Eric M. Dashofy (2009):
Software Architecture: Foundations, Theory, and Practice.
John Wiley and Sons,
doi:10.1145/1810295.1810435.
eptcs@eptcs.org