Filtrer vos résultats
- 50
- 6
- 29
- 16
- 7
- 2
- 1
- 1
- 11
- 54
- 2
- 1
- 2
- 1
- 4
- 2
- 2
- 5
- 1
- 1
- 1
- 4
- 2
- 1
- 4
- 2
- 5
- 4
- 3
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 52
- 4
- 54
- 43
- 13
- 11
- 11
- 8
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 56
- 12
- 6
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
56 résultats
|
|
|
triés par
|
|
|
Reversibility in Erlang: Imperative Constructs -Technical Report[Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-28
Rapport
hal-03655372v1
|
||
|
|
Causality analysis and fault ascription in component-based systemsTheoretical Computer Science, 2020, 837, pp.158-180. ⟨10.1016/j.tcs.2020.06.010⟩
Article dans une revue
hal-02927216v1
|
||
|
|
Reversibility in the higher-order π-calculusTheoretical Computer Science, 2016, 625, pp.25-84. ⟨10.1016/j.tcs.2016.02.019⟩
Article dans une revue
hal-01303090v1
|
||
Reversible ComputationKrivine, Jean; Stefani, Jean-Bernard. Reversible Computation, Jul 2015, Grenoble, France. 9138, Springer, 2015, Lecture Notes in Computer Science, 978-3-319-20859-6. ⟨10.1007/978-3-319-20860-2⟩
Proceedings/Recueil des communications
hal-01246644v1
|
|||
|
|
Generation of a Reversible Semantics for Erlang in MaudeICFEM 2022 - 23rd International Conference on Formal Engineering Methods, Oct 2022, Madrid, Spain. pp.106-122, ⟨10.1007/978-3-031-17244-1_7⟩
Communication dans un congrès
hal-03916227v1
|
||
|
|
Reversibility in the higher-order π-calculus2014
Pré-publication, Document de travail
hal-01081714v1
|
||
|
|
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell FrameworkFORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.242-260, ⟨10.1007/978-3-030-21759-4_14⟩
Communication dans un congrès
hal-02313751v1
|
||
From Behavioural Contracts to Session TypesModels, Languages, and Tools for Concurrent and Distributed Programming, pp.278-297, 2019, ⟨10.1007/978-3-030-21485-2_16⟩
Chapitre d'ouvrage
hal-02448995v1
|
|||
|
|
Causal-Consistent Debugging of Distributed Erlang ProgramsRC 2021 - 13th Conference on Reversible Computation, Jul 2021, Nagoya, Japan. pp.79-95, ⟨10.1007/978-3-030-79837-6_5⟩
Communication dans un congrès
hal-03338670v1
|
||
|
|
A Behavioral Theory For Crash Failures and Erlang-style Recoveries In Distributed SystemsRR-9511, Inria. 2023
Rapport
hal-04123758v1
|
||
|
|
A formal specification of the Fractal component model in Alloy[Research Report] RR-6721, INRIA. 2008, pp.44
Rapport
inria-00338987v1
|
||
|
|
Component-oriented programming with sharing : containment is not ownership[Research Report] Laboratoire de l'informatique du parallélisme. 2005, 2+12p
Rapport
hal-02102510v1
|
||
|
|
Reversibility in Erlang: Imperative ConstructsRC 2022 - 14th International Conference on Reversible Computation, Jul 2022, Urbino, Italy. pp.187-203, ⟨10.1007/978-3-031-09005-9_13⟩
Communication dans un congrès
hal-03915947v1
|
||
|
|
Causality Analysis and Fault Ascription in Component-Based Systems[Research Report] RR-9279, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-28
Rapport
hal-02161534v3
|
||
|
|
Typing Component-Based Communication Systems11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) & 29th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2009, Lisbonne, Portugal. pp.167--181, ⟨10.1007/978-3-642-02138-1_11⟩
Communication dans un congrès
inria-00488856v1
|
||
|
|
A Calculus of Higher-Order Distributed ComponentsRR-4692, INRIA. 2003
Rapport
inria-00071894v1
|
||
|
|
A Component-Based Middleware Platform for Reconfigurable Service-Oriented ArchitecturesSoftware: Practice and Experience, 2012, 42 (5), pp.559-583. ⟨10.1002/spe.1077⟩
Article dans une revue
inria-00567442v1
|
||
|
|
Causal-Consistent Debugging of Distributed Erlang Programs - Technical Report[Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2021
Rapport
hal-03247624v1
|
||
|
|
Sciences, Environnements et Sociétés[0] Inria. 2019
Rapport
hal-02340948v1
|
||
|
|
Counterfactual Causality from First Principles?2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017), 2017, Uppsala, Sweden. pp.47 - 53, ⟨10.4204/EPTCS.259.5⟩
Communication dans un congrès
hal-01631415v1
|
||
|
|
In-depth analysis of Kubernetes manifest verification tools for robust CNF deploymentICIN 2024 - Conference on Innovation in Clouds, Internet and Networks, DNAC, Mar 2024, Paris, France. pp.1-8
Communication dans un congrès
hal-04421758v1
|
||
|
|
Checkpoint/rollback vs causally-consistent reversibilityRC 2018 - 10th International Conference on Reversible Computation, Sep 2018, Leicester, United Kingdom. pp.286-303, ⟨10.1007/978-3-319-99498-7_20⟩
Communication dans un congrès
hal-01953756v1
|
||
Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach.Lecture Notes in Computer Science, 2006, 3956, p. 118-137
Article dans une revue
hal-00379644v1
|
|||
|
|
The M-calculus: a Higher-Order Distributed Process Calculus[Research Report] RR-4361, INRIA. 2002
Rapport
inria-00072227v1
|
||
|
|
Component-Oriented Programming with Sharing: Containment is not OwnershipGenerative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp.389-404, ⟨10.1007/11561347_26⟩
Communication dans un congrès
hal-00310126v1
|
||
|
|
Reactive ObjectsRR-2664, INRIA. 1995
Rapport
inria-00074026v1
|
||
|
|
Taking conviviality seriously (extended abstract)2024 - 1st conference on Undone Science in Computer Science, Feb 2024, Nantes, France. pp.1-4
Communication dans un congrès
hal-04448759v1
|
||
|
|
Normal bisimulations in process calculi with passivation12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), Mar 2009, York, United Kingdom. pp.257--271, ⟨10.1007/978-3-642-00596-1_19⟩
Communication dans un congrès
inria-00490810v1
|
||
|
|
Revisiting Glue Expressiveness in Component-Based Systems13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.16-30, ⟨10.1007/978-3-642-21464-6_2⟩
Communication dans un congrès
hal-01582994v1
|
||
|
|
Fault Ascription in Concurrent Systems[Research Report] RR-8772, INRIA Grenoble - Rhône-Alpes. 2015
Rapport
hal-01197486v1
|
- 1
- 2