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
|
|
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
|
||
|
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
|
||
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
|
|||
|
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
|
||
|
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
|
|||
|
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 Erlang: Imperative Constructs -Technical Report[Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-28
Rapport
hal-03655372v1
|
||
|
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
|
||
|
A Calculus of Higher-Order Distributed ComponentsRR-4692, INRIA. 2003
Rapport
inria-00071894v1
|
||
|
Component-oriented programming with sharing : containment is not ownership[Research Report] Laboratoire de l'informatique du parallélisme. 2005, 2+12p
Rapport
hal-02102510v1
|
||
|
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 formal specification of the Fractal component model in Alloy[Research Report] RR-6721, INRIA. 2008, pp.44
Rapport
inria-00338987v1
|
||
|
Components as Location Graphs11th International Symposium on Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy
Communication dans un congrès
hal-01094208v1
|
||
|
Le développement des services en ligneCollection "20 ans d'avancées et de perspectives en sciences du numérique", 2012, 2 p
Article dans une revue
hal-00813161v1
|
||
|
A Reversible Abstract Machine and Its Space Overhead14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.1-17, ⟨10.1007/978-3-642-30793-5_1⟩
Communication dans un congrès
hal-00909384v1
|
||
|
Typing Communicating Component Assemblages7th International Conference on Generative Programming and Component Engineering (GPCE'08), Oct 2008, Nashville, United States. pp.125--136, ⟨10.1145/1449913.1449933⟩
Communication dans un congrès
inria-00492749v1
|
||
|
Normal bisimulations in process calculi with passivation[Research Report] RR-6664, INRIA. 2008, pp.102
Rapport
inria-00330565v1
|
||
|
Towards a formal reference computational model for cloud configuration management[Research Report] RR-9317, INRIA. 2020
Rapport
hal-02940938v1
|
||
|
Éléments de sécurité dans l'architecture de systèmes répartis THINK.Journées francophones des jeunes chercheurs en systèmes d'exploitation de l'ACM SIGOPS France, Apr 2002, Hammamet, Tunisie
Communication dans un congrès
hal-00310151v1
|
||
|
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
|
||
|
Reactive ObjectsRR-2664, INRIA. 1995
Rapport
inria-00074026v1
|
||
|
Fault Ascription in Concurrent Systems[Research Report] RR-8772, INRIA Grenoble - Rhône-Alpes. 2015
Rapport
hal-01197486v1
|
||
|
THINK: A Secure Distributed Systems Architecture.10th ACM SIGOPS European Workshop, Sep 2002, St Emilion, France
Communication dans un congrès
hal-00310150v1
|
||
|
Building secure embedded kernels with the Think architecture.Workshop on Engineering Context-aware Object-Oriented Systems and Environments, in association with the 17th ACM OOPSLA conference, Nov 2002, Seattle, United States
Communication dans un congrès
hal-00310149v1
|
||
|
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
|
||
|
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
|
- 1
- 2