BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Reasoning about concurrent stochastic systems - Radu Mardare\, Aal
 borg University
DTSTART:20110315T140000Z
DTEND:20110315T150000Z
UID:TALK30191@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:Complex networks are often modelled as stochastic processes\, 
 to encapsulate a lack of knowledge or inherent non-determinism. Such syste
 ms are frequently modular in nature\, consisting of parts which are system
 s 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 ident
 ifying the mathematical structure of these systems and investigates the po
 ssibility to define a general (qualitative and quantitative) logical frame
 work appropriate for modular analysis. By modular analysis we mean a scale
 -up approach that proves properties of an upper level system from the prop
 erties of its subsystems. On this direction\, it is also possible to defin
 e distances between stochastic processes which measure their behavioural o
 r structural similarities.
LOCATION:Small lecture theatre\, Microsoft Research Ltd\, 7 J J Thomson Av
 enue (Off Madingley Road)\, Cambridge
END:VEVENT
END:VCALENDAR