.:. Browse > By authors > Adam .:.

3 documents ordered by : Date Title first author name document type Submit date

Distributed debugging techniques Adam M., Hurfin M., Raynal M., Plouzeau N. N° RR-1459 (1991) [inria-00075102 - version 1]

Synchronous distributed algoriths : a proof system Adam M., Hélary J.-M. N° RR-1269 (1990) [inria-00075290 - version 1]

Algorithmes distribués synchrones et systèmes répartis asynchrones : concepts, mises en oeuvre et expérimentations Adam M., Ingels P., Raynal M. N° RR-0862 (1988) [inria-00075692 - version 1]