Reasoning about concurrent stochastic systems

Add to your list(s) Download to your calendar using vCal

• Radu Mardare, Aalborg University
• Tuesday 15 March 2011, 14:00-15:00
• Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins.

Complex networks are often modelled as stochastic processes, to encapsulate a lack of knowledge or inherent non-determinism. Such systems are frequently modular in nature, consisting of parts which are systems in their own right. Their global behaviour depends on the behaviours of their parts and on the topology of the network. This talk focuses on identifying the mathematical structure of these systems and investigates the possibility to define a general (qualitative and quantitative) logical framework appropriate for modular analysis. By modular analysis we mean a scale-up approach that proves properties of an upper level system from the properties of its subsystems. On this direction, it is also possible to define distances between stochastic processes which measure their behavioural or structural similarities.

This talk is part of the Microsoft Research Cambridge, public talks series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Guy Emerson's list
• Interested Talks
• Microsoft Research Cambridge, public talks
• Optics for the Cloud
• PMRFPS's
• School of Technology
• Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• personal list
• rp587

Note that ex-directory lists are not shown.