21 results  save search

hal-01100780v1  Conference papers
Carole Delporte-GalletHugues FauconnierMichel Raynal. Fair Synchronization in the Presence of Process Crashes and its Weakest Failure Detector
33h Symposium on Reliable Distributed Systems (SRDS), Oct 2014, Nara, Japan. pp.161-170, ⟨10.1109/SRDS.2014.18 ⟩
inria-00425232v3  Conference papers
Viet-Trung TranGabriel AntoniuBogdan NicolaeLuc Bougé. Towards A Grid File System Based On A Large-Scale BLOB Management Service
CoreGRID ERCIM Working Group Workshop on Grids, P2P and Service computing, Aug 2009, Delft, Netherlands
inria-00476861v1  Conference papers
Diana MoiseGabriel AntoniuLuc Bougé. Improving the Hadoop Map/Reduce Framework to Support Concurrent Appends through the BlobSeer BLOB management system
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing (HPDC'10), Workshop on MapReduce and its Applications, Jun 2010, Chicago, United States. pp.834--840, ⟨10.1145/1851476.1851596⟩
hal-02056397v1  Conference papers
Achour MostefaouiMichel Raynal. Time-Efficient Read/Write Register in Crash-Prone Asynchronous Message-Passing Systems
The 4th International Conference on Networked Systems, May 2016, Marrakech, Morocco. pp.250-265
hal-00549322v1  Conference papers
Stéphane DonikianEric Rutten. Reactivity, concurrency, data-flow and hierarchical preemption for behavioural animation
Eurographics Workshop on Programming Paradigms in Graphics 1995, Sep 1995, Maastricht, Netherlands. pp.137-153
hal-01237142v1  Books
Eric BadouelLuca BernardinelloPhilippe Darondeau. Petri Net Synthesis
Springer, pp.339, 2015, Text in Theoretical Computer Science, an EATCS Series, M. Henzinger, J. Hromkovic, M. Nielsen, G. Rozenberg, A. Salomaa, 978-3-662-47966-7. ⟨10.1007/978-3-662-47967-4⟩
hal-01087917v1  Conference papers
Uli FahrenbergAxel Legay. History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
MFPS XXIX - Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. pp.165 - 178, ⟨10.1016/j.entcs.2013.09.012⟩
hal-01938660v1  Conference papers
Anaïs DurandMichel RaynalGadi Taubenfeld. k-Set Agreement and Renaming in the Presence of Contention-Related Crash Failures
SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.1-12
hal-01087442v1  Conference papers
Julien DeantoniPapa Issa DialloCiprian TeodorovJoël ChampeauBenoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
hal-01102435v1  Journal articles
Suresh JagannathanVincent LaporteGustavo PetriDavid PichardieJan Vitek. Atomicity Refinement for Verified Compilation
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2014, pp.30
hal-01326849v1  Journal articles
Marin BertierMatthieu PerrinCédric Tedeschi. On the Complexity of Concurrent Multiset Rewriting
International Journal of Foundations of Computer Science, World Scientific Publishing, 2016, 27 (1), ⟨10.1142/S0129054116500052⟩
tel-01680213v2  Theses
Yannick Zakowski. Verification of a Concurrent Garbage Collector
Data Structures and Algorithms [cs.DS]. École normale supérieure de Rennes, 2017. English. ⟨NNT : 2017ENSR0010⟩