Travelled to:1 × Finland
Collaborated with:D.Méry N.K.Singh
Talks about:distribut (1) construct (1) algorithm (1) correct (1) integr (1) state (1) prove (1) model (1) base (1)
Person: Manamiary Bruno Andriamiarina
DBLP: Andriamiarina:Manamiary_Bruno
Contributed to:
2013Wrote 1 papers:
- IFM-2013-AndriamiarinaMS #algorithm #distributed #modelling
- Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms (MBA, DM, NKS), pp. 268–284.