Lénaick Tanguy

According to our database, Lénaick Tanguy authored at least 4 papers between 1999 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2003

Consensus in Byzantine asynchronous systems.

Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy

J. Discrete Algorithms, 2003

2001

Towards a Formal Framework for Interoperability Testing.

César Viho, Sébastien Barbin, Lénaick Tanguy

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000

Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems.

Lénaick Tanguy, César Viho, Claude Jard

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

1999

Remote testin can be as powerful as local testing.

Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999