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
|
||
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
|
||
|
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 π-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
|
|||
|
Reversibility in the higher-order π-calculus2014
Pré-publication, Document de travail
hal-01081714v1
|
||
|
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
|
||
|
Simple Isolation for an Actor Abstract Machine35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.213-227, ⟨10.1007/978-3-319-19195-9_14⟩
Communication dans un congrès
hal-01767336v1
|
||
Controlled Reversibility and CompensationsProceedings of RC 2012, 4th Workshop on Reversible Computation, 2012, Unknown, pp.233--240
Communication dans un congrès
hal-00909377v1
|
|||
|
Generation of a reversible semantics for Erlang in Maude[Research Report] RR-9468, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-22
Rapport
hal-03630407v3
|
||
|
Oz/K: A kernel language for component-based open programming[Research Report] RR-6202, INRIA. 2007
Rapport
inria-00149612v2
|
||
|
La science du logiciel libre par Roberto Di Cosmo. Entre auto-organisation et méritocratie, entretien avec Jean-Bernard Stefani, propos recueillis par Dominique Chouchan.Les Cahiers de l'INRIA - La Recherche, 2009, Les promesses des énergies renouvelables, 436 décembre 2009
Article dans une revue
inria-00511691v1
|
||
|
Support pour la reconfiguration d'implantation dans les applications à composants Java2004, pp.171-184
Communication dans un congrès
hal-00003293v1
|
||
|
Reconfigurable SCA Applications with the FraSCAti Platform6th IEEE International Conference on Service Computing (SCC'09), IEEE, Sep 2009, Bangalore, India. pp.268-275
Communication dans un congrès
inria-00397856v1
|
||
|
Oz/K: A Kernel Language for Component-Based Open Programming6th International Conference on Generative Programming and Component Engineering (GPCE'07), Oct 2007, Salzburg, Austria. pp.43--52, ⟨10.1145/1289971.1289980⟩
Communication dans un congrès
inria-00498413v1
|
||
|
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
|
||
|
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
|
||
|
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
|
- 1
- 2