Accéder directement au contenu

François Taïani

3
Documents

Publications

830511
Image document

Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof

 Alex Auvolat , Davide Frey , Michel Raynal , François Taïani
Bulletin- European Association for Theoretical Computer Science, 2020, 132
Article dans une revue hal-02861511v3
Image document

Providing Collision-Free and Conflict-Free Communication in General Synchronous Broadcast/Receive Networks

 Abdelmadjid Bouabdallah , Hicham Lakhlef , Michel Raynal , François Taïani
31st IEEE International Conference on Advanced Information Networking and Applications (AINA 2017), Mar 2017, Taipei, Taiwan. pp.399-406, ⟨10.1109/AINA.2017.39⟩
Communication dans un congrès hal-01620356v1
Image document

Cliff-Edge Consensus: Agreeing on the Precipice

 François Taïani , Barry Porter , Geoff Coulson , Michel Raynal
12th International Conference on Parallel Computing Technologies (PaCT-2013), Sep 2013, St. Petersburg, Russia. pp.51-64, ⟨10.1007/978-3-642-39958-9_5⟩
Communication dans un congrès hal-00876054v1