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).