DOI: 10.3990/1.9789036538213
|View full text |Cite
|
Sign up to set email alerts
|

Model-checking mean-field models : algorithms & applications

Abstract: Large systems of interacting objects are highly prevalent in today's world. Such system usually consist of a large number of relatively simple identical objects, and can be observed in many different field as, e.g., physics (interactions of molecules in gas), chemistry (chemical reactions), epidemiology (spread of the infection), etc. In this thesis we primarily address large systems of interacting objects in computer science, namely, computer networks. Analysis of such large systems is made difficult by the s… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 73 publications
(194 reference statements)
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?