Geometric semantics for the analysis of concurrent and distributed software

Eric Goubault  (CEA)
 

This talk will be more focused on applications of geometrical ideas and modeling to
computer scientific problems, among which:

    - relationship with other models for concurrency (for instance transition systems
       and Petri nets).
    - static analysis of concurrent programs (mostly Java-like threads); in particular,
       deadlocks, reachable states, scheduling properties (joint work with Martin Raussen
       and Lisbeth Fajstrup), state-space reduction techniques.
    - scheduling properties of distributed systems; in particular serialisability conditions for
       databases (after Jeremy Gunawardena and Martin Raussen), computability in fault-
       tolerant systems (after Maurice Herlihy and Sergio Rajsbaum).