Skip to Main content Skip to Navigation


...
tel-00926306v1  Habilitation à diriger des recherches
Thomas Chatain. Concurrency in Real-Time Distributed Systems, from Unfoldings to Implementability
Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2013
...
hal-01354109v2  Conference papers
Juraj KolčákDavid ŠafránekStefan HaarLoïc Paulevé. Unfolding of Parametric Boolean Networks
7th International Workshop on Static Analysis and Systems Biology (SASB 2016), Sep 2016, Edimbourg, United Kingdom. pp.67-90, ⟨10.1016/j.entcs.2018.03.009⟩
...
tel-00505940v1  Theses
Ludovic Henrio. Calcul d'objet asynchrone : confluence et déterminisme
Modélisation et simulation. Université Nice Sophia Antipolis, 2003. Français
inria-00468041v1  Conference papers
Angel NúñezJacques Noyé. A Domain-Specific Language for Coordinating Concurrent Aspects in Java
3ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2007), Mar 2007, Toulouse, France
inria-00467938v1  Conference papers
Rémi DouenceDidier Le BotlanJacques NoyéMario Südholt. Concurrent Aspects
5th International Conference on Generative Programming and Component Engineering (GPCE '06), Oct 2006, Portland, United States. pp.79-88, ⟨10.1145/1173706.1173718⟩
...
tel-00011239v1  Theses
David Teller. Ressources limitées pour la mobilité : utilisation, réutilisation, garanties.
Génie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON; Université Claude Bernard - Lyon I, 2004. Français
...
hal-02435522v1  Reports
Denis Roegel. Detecting interference through graph reduction
[Research Report] Loria & Inria Grand Est. 1997
...
tel-00327441v1  Theses
Christian Brunette. Construction et simulation graphiques de comportements : le modèle des Icobjs
Autre [cs.OH]. École Nationale Supérieure des Mines de Paris, 2004. Français
...
inria-00166125v2  Reports
Louis MandelLuc Maranget. Programming in JoCaml --- Extended Version
[Research Report] RR-6261, INRIA. 2007
...
hal-01960404v1  Conference papers
Joaquín AguadoMichael MendlerMarc PouzetPartha RoopReinhard von Hanxleden. Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach
ESOP 2018 - European Symposium on Programming, Apr 2018, Thessaloniki, Greece
...
hal-01081413v1  Conference papers
Jade AlglaveLuc MarangetMichael Tautschnig. Herding cats: Modelling, simulation, testing, and data-mining for weak memory
PLDI '14: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2014, Edinburg, United Kingdom. pp.40, ⟨10.1145/2594291.2594347⟩
...
tel-01238752v1  Theses
Jurgen Michael van Ham. Seamless concurrent programming of objects, aspects and events
Programming Languages [cs.PL]. Ecole des Mines de Nantes, 2015. English. ⟨NNT : 2015EMNA0118⟩
...
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⟩
...
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⟩
hal-02980943v1  Journal articles
Jean-René CourtaultDidier GalmicheDavid Pym. A Logic of Separating Modalities
Theoretical Computer Science, Elsevier, 2016, 637 (1), pp.30-58. ⟨10.1016/j.tcs.2016.04.040⟩
...
inria-00090434v2  Journal articles
Joachim NiehrenJan SchwinghammerGert Smolka. A Concurrent Lambda Calculus with Futures
Theoretical Computer Science, Elsevier, 2006, Theoretical Computer Science, 364 (3), pp.338-356. ⟨10.1016/j.tcs.2006:08.016⟩
...
hal-03043623v1  Reports
Hugo PompougnacUlysse BeaugnonAlbert CohenDumitru Potop-Butucaru. From SSA to Synchronous Concurrency and Back
[Research Report] RR-9380, INRIA Sophia Antipolis - Méditerranée (France). 2020, pp.23