Abstract is missing.
- Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical SystemsCarolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé. 1-35 [doi]
- Dependability of Adaptable and Evolvable Distributed SystemsCarlo Ghezzi. 36-60 [doi]
- Mean-Field Limits Beyond Ordinary Differential EquationsLuca Bortolussi, Nicolas Gast. 61-82 [doi]
- Modelling and Analysis of Collective Adaptive Systems with CARMA and its ToolsMichele Loreti, Jane Hillston. 83-119 [doi]
- Spatial Representations and Analysis TechniquesVashti Galpin. 120-155 [doi]
- Spatial Logic and Spatial Model Checking for Closure SpacesVincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink. 156-201 [doi]
- Quantitative Abstractions for Collective Adaptive SystemsAndrea Vandin, Mirco Tribastone. 202-232 [doi]
- Aggregate Programming: From Foundations to ApplicationsJacob Beal, Mirko Viroli. 233-260 [doi]