Travelled to:1 × France
1 × Germany
1 × Italy
Collaborated with:R.Chadha S.Kiefer A.W.Lin A.Finkel S.Haddad F.Rosa-Velardo
Talks about:probabilist (1) reentrant (1) structur (1) parallel (1) transit (1) process (1) express (1) context (1) analysi (1) theori (1)
Person: Rémi Bonnet
DBLP: Bonnet:R=eacute=mi
Contributed to:
201420132011Wrote 3 papers:
- FoSSaCS-2014-BonnetKL #analysis #parallel #probability #process
- Analysis of Probabilistic Basic Parallel Processes (RB, SK, AWL), pp. 43–57.
- FoSSaCS-2013-BonnetC #bound
- Bounded Context-Switching and Reentrant Locking (RB, RC), pp. 65–80.
- FoSSaCS-2011-BonnetFHR
- Ordinal Theory for Expressiveness of Well Structured Transition Systems (RB, AF, SH, FRV), pp. 153–167.