Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

139 résultats
keyword_s : Concurrency
Page :
triés par
Image document

A Concurrent Pattern Calculus

 Thomas Given-Wilson , Daniele Gorla , Barry Jay
Logical Methods in Computer Science, 2014, 10 (3), pp.1-46. ⟨10.2168/LMCS-10(3:10)2014⟩
Article dans une revue hal-00987578v2
Image document

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs

 Nikhil Swamy , Aseem Rastogi , Aymeric Fromherz , Denis Merigoux , Danel Ahman , et al.
Proceedings of the ACM on Programming Languages, 2020, 4 (ICFP), pp.1-30. ⟨10.1145/3409003⟩
Article dans une revue hal-02936273v1
Image document

Concurrent structures in game semantics

 Simon Castellan
Logic in Computer Science [cs.LO]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN034⟩
Thèse tel-01587718v1
Image document

Self-adaptation and secure information flow in multiparty communications

 Ilaria Castellani , Mariangiola Dezani-Ciancaglini , Jorge A. Perez
Formal Aspects of Computing, 2016, 28 (4), pp.28. ⟨10.1007/s00165-016-0381-3⟩
Article dans une revue hal-01354906v1

Occurrence Net Logics

 Stefan Haar
Workshop Concurrency, Specification & Programming - CS & P'99, Universite de Varsovie, 1999, Varsovie/Pologne, 12 p
Communication dans un congrès inria-00098861v1

Special Issue on Proof Theory of Concurrent Object-Oriented Programming

 Didier Galmiche , Jean-Paul Bahsoun , José Luiz Fiadeiro
Cambridge University Press, 1999, Mathematical Structures in Computer Science
Ouvrages inria-00098994v1
Image document

Reaching Consensus in the Presence of Contention-Related Crash Failures

 Anaïs Durand , Michel Raynal , Gadi Taubenfeld
SSS 2022 - 24th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2022, Clermont-Ferrand, France. pp.193-205, ⟨10.1007/978-3-031-21017-4_13⟩
Communication dans un congrès hal-03853639v1
Image document

Assessing the Scalability of Garbage Collectors on Many Cores

 Lokesh Gidra , Gaël Thomas , Julien Sopena , Marc Shapiro
Operating Systems Review, 2011, Best papers from PLOS'11, 45 (3), pp.15--19. ⟨10.1145/2094091.2094096⟩
Article dans une revue hal-00932831v1
Image document

BlobSeer: Next Generation Data Management for Large Scale Infrastructures

 Bogdan Nicolae , Gabriel Antoniu , Luc Bougé , Diana Moise , Alexandra Carpen-Amarie
Journal of Parallel and Distributed Computing, 2011, 71 (2), pp.168-184. ⟨10.1016/j.jpdc.2010.08.004⟩
Article dans une revue inria-00511414v1
Image document

Towards a Meta-Language for the Concurrency Concern in DSLs

 Julien Deantoni , Papa Issa Diallo , Ciprian Teodorov , Joël Champeau , Benoit Combemale
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Communication dans un congrès hal-01087442v1
Image document

Operational Semantics of the Model of Concurrency and Communication Language

 Julien Deantoni , Papa Issa Diallo , Joël Champeau , Benoit Combemale , Ciprian Teodorov
[Research Report] RR-8584, INRIA. 2014, pp.23
Rapport hal-01060601v2

Concurrent Programming as Proof Net Construction

 Guy Perrier
Mathematical Structures in Computer Science, 1998, 8 (6), pp.681-710
Article dans une revue inria-00098491v1
Image document

Verification of Distributed Systems via Sequential Emulation

 Luca Di Stefano , Rocco de Nicola , Omar Inverso
ACM Transactions on Software Engineering and Methodology, 2022, 31 (3), pp.1-41. ⟨10.1145/3490387⟩
Article dans une revue hal-03549925v1
Image document

Siaam : Simple Isolation for an Actor-based Abstract Machine

 Quentin Sabah
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2013. English. ⟨NNT : 2013GRENM082⟩
Thèse tel-01560981v1
Image document

Verification of a Concurrent Garbage Collector

 Yannick Zakowski
Data Structures and Algorithms [cs.DS]. École normale supérieure de Rennes, 2017. English. ⟨NNT : 2017ENSR0010⟩
Thèse tel-01680213v2
Image document

A Sound Algorithm for Asynchronous Session Subtyping

 Mario Bravetti , Marco Carbone , Julien Lange , Nobuko Yoshida , Gianluigi Zavattaro
CONCUR 2019 - 30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. ⟨10.4230/LIPIcs.CONCUR.2019.38⟩
Communication dans un congrès hal-02387473v1
Image document

Epistemic Strategies and Games on Concurrent Processes

 Konstantinos Chatzikokolakis , Sophia Knight , Catuscia Palamidessi , Prakash Panangaden
ACM Transactions on Computational Logic, 2012, 13 (4), pp.28:1-28:35. ⟨10.1145/2362355.2362356⟩
Article dans une revue inria-00637160v1
Image document

Word-Size RMR Tradeoffs for Recoverable Mutual Exclusion

 David Yu Cheng Chan , George Giakkoupis , Philipp Woelfel
PODC 2023 - ACM Symposium on Principles of Distributed Computing, Jun 2023, Orlando (FL), United States. pp.79-89, ⟨10.1145/3583668.3594597⟩
Communication dans un congrès hal-04395095v1
Image document

Unfoldings and Abstract Interpretation for Parametric Biological Regulatory Networks

 Juraj Kolčák
Computer Science [cs]. ENS Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG048⟩
Thèse tel-03528592v1
Image document

Unique solution techniques for processes and functions

 Adrien Durier
Programming Languages [cs.PL]. Université de Lyon; Università degli studi (Bologne, Italie), 2020. English. ⟨NNT : 2020LYSEN016⟩
Thèse tel-02947048v1
Image document

A scalable clustering-based task scheduler for homogeneous processors using DAG partitioning

 Yusuf M. Özkaya , Anne Benoit , Bora Uçar , Julien Herrmann , Ümit V. Çatalyürek
[Research Report] RR-9185, Inria Grenoble Rhône-Alpes. 2018, pp.1-34
Rapport hal-01817501v3

A Domain-Specific Language for Coordinating Concurrent Aspects in Java

 Angel Núñez , Jacques Noyé
3ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2007), Mar 2007, Toulouse, France
Communication dans un congrès inria-00468041v1
Image document

Bisimulation Techniques and Algorithms for Concurrent Constraint Programming

 Andrés Aristizábal
Other [cs.OH]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩
Thèse pastel-00756952v1
Image document

Unfolding of Parametric Boolean Networks

 Juraj Kolčák , David Šafránek , Stefan Haar , Loïc Paulevé
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⟩
Communication dans un congrès hal-01354109v2
Image document

Symmetry in Concurrent Games

 Simon Castellan , Pierre Clairambault , Glynn Winskel
Logic in Computer Science, Jul 2014, Vienna, Austria. 10 p
Communication dans un congrès hal-00990020v1
Image document

Relational thread-modular static value analysis by abstract interpretation

 Antoine Miné
VMCAI 2014 - 15th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2014, San Diego, United States. pp.39-58, ⟨10.1007/978-3-642-54013-4_3⟩
Communication dans un congrès hal-00925713v1
Image document

Reactive concurrent programming revisited

 Roberto M. Amadio , Gérard Boudol , Ilaria Castellani , Frédéric Boussinot
Express, Sep 2006, France. pp.49-60
Communication dans un congrès hal-00015838v1
Image document

Using Ambients to Control Resources (long version)

 David Teller , Pascal Zimmer , Daniel Hirschkoff
2004, pp.126 - 144, ⟨10.1007/s10207-004-0035-y⟩
Communication dans un congrès hal-00020253v1

Verification, Model Checking, and Abstract Interpretation

 Kenneth Mcmillan , Xavier Rival
Kenneth McMillan and Xavier Rival. Springer, 8318, pp.493, 2014, 978-3-642-54012-7
Ouvrages hal-00931694v1
Image document

Parallel Diagnosability Analysis with LTL-X Model Checking based on Petri Net Unfoldings

 Laura Brandan-Briones , Agnes Madalinski , Hernán Ponce de León
Workshop on Principles of Diagnosis, Sep 2014, Graz, Austria. 2013
Poster de conférence hal-00915478v2
Page :