Edinburgh Research Explorer

Quantitative Analysis of Collective Adaptive Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://link.springer.com/chapter/10.1007%2F978-3-319-41579-6_1
Original languageEnglish
Title of host publicationPerspectives of System Informatics
Subtitle of host publication10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
PublisherSpringer International Publishing
Pages1-5
Number of pages5
ISBN (Electronic)978-3-319-41579-6
ISBN (Print)978-3-319-41578-9
DOIs
Publication statusPublished - Jun 2016
Event10th International Andrei Ershov Informatics Conference: Perspectives of System Informatics - Kazan, Russian Federation
Duration: 24 Aug 201527 Aug 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
Volume9609
ISSN (Print)0302-9743

Conference

Conference10th International Andrei Ershov Informatics Conference
Abbreviated titlePSI 2015
CountryRussian Federation
CityKazan
Period24/08/1527/08/15

Abstract

Quantitative formal methods, such as stochastic process algebras, have been used for the last twenty years to support modelling of dynamic systems in order to investigate their performance. Application domains have ranged from computer and communication systems [1, 2], to intracellular signalling pathways in biological cells [3, 4]. Nevertheless this modelling approach is challenged by the demands of modelling modern collective adaptive systems, many of which have a strong spatial aspect, adding to the complexity of both the modelling and the analysis tasks.

Event

10th International Andrei Ershov Informatics Conference: Perspectives of System Informatics

24/08/1527/08/15

Kazan, Russian Federation

Event: Conference

Download statistics

No data available

ID: 23618087