Filter your results
- 16
- 11
- 3
- 2
- 1
- 33
- 12
- 10
- 6
- 6
- 5
- 4
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 33
- 3
- 31
- 18
- 13
- 12
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 33
- 33
- 33
- 33
- 33
- 33
- 33
- 33
- 33
- 31
- 31
- 31
- 31
- 31
- 31
- 31
- 30
- 30
- 28
- 26
- 20
- 16
- 14
- 14
- 14
- 12
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 32
- 1
- 26
- 7
- 1
- 1
- 1
- 3
- 3
- 2
- 5
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
|
|
sorted by
|
|
Distributed system structuring using multi-functions[Research Report] RR-0694, Inria. 1987
Reports
inria-00075859v1
|
||
|
Chemical Specification of Autonomic Systems13th International Conference on Intelligent and Adaptive Systems and Software Engineering, Jul 2004, Nice
Conference papers
inria-00000948v1
|
||
|
Developing Secure Chemical Programs with Aspects[Research Report] 2008, pp.12
Reports
inria-00376800v1
|
||
|
Challenging Questions for the Rationale of Non-Classical Programming LanguagesInternational Journal of Unconventional Computing, 2006, 2, pp.337--347
Journal articles
hal-00340128v1
|
||
|
Generalized Multisets for Chemical Programming[Research Report] RR-5743, INRIA. 2005, pp.26
Reports
inria-00070276v1
|
||
|
A security proof system for networks of communicating processes[Research Report] RR-2042, INRIA. 1993
Reports
inria-00074629v1
|
||
Classical Coordination Mechanisms in the Chemical ModelYves Bertot and Gérard Huet and Jean-Jacques Lévy and Gordon Plotkin. From Semantics to Computer Science: Essays in Honor of Gilles Kahn, Cambridge University Press, 2009
Book sections
hal-00666295v1
|
|||
|
Private-by-Design: Towards Personal Local Clouds[Research Report] RR-8634, Inria Rennes; INRIA. 2014
Reports
hal-01087558v1
|
||
Chemical Programming of Future Service-oriented ArchitecturesJournal of Software, 2009, 4 (7), pp.738-746
Journal articles
inria-00423641v1
|
|||
|
Principles of Chemical Programming5th International Workshop on Rule-Based Programming, Jun 2004, Aachen
Conference papers
inria-00000942v1
|
||
|
Un algorithme systolique pour la reconnaissance de mots connectes[Rapport de recherche] RR-0148, INRIA. 1982
Reports
inria-00076412v1
|
||
|
Exception handling sequential processes : design, verification and implementation[Research Report] RR-1710, INRIA. 1992
Reports
inria-00076947v1
|
||
|
An active stable storage and its integration in a multiprocessor architecture[Research Report] RR-0693, Inria. 1987
Reports
inria-00075860v1
|
||
|
Towards Enforcement of the EU GDPR: Enabling Data ErasureiThings 2018 - 11th IEEE International Conference of Internet of Things, Jul 2018, Halifax, Canada. pp.1-8
Conference papers
hal-01824058v1
|
||
|
Implementing atomic rendez-vous within a transactional framework[Research Report] RR-1092, Inria. 1989
Reports
inria-00075467v1
|
||
Fault Tolerant Autonomic Computing Systems in a Chemical SettingJones, Cliff B.; Lloyd, John L. Dependable and Historic Computing, 6875, Springer, 2011, Lecture Notes in Computer Science, 978-3-642-24540-4
Book sections
inria-00625261v1
|
|||
A Chemical Interpretation of GSML ProgramsProceedings of Seventh International Conference on Grid and Cooperative Computing, Shenzhen Institute of Advanced Technology (SIAT), CAS China, Oct 2008, Shenzhen, China. pp.459 -- 466, ⟨10.1109/GCC.2008.5⟩
Conference papers
inria-00369220v1
|
|||
|
An overview of the gothic distributed operating system[Research Report] RR-0504, Inria. 1986
Reports
inria-00076050v1
|
||
The Chemical Reaction Model - Recent Developments and ProspectsMartin Wirsing and Jean-Pierre Banâtre and Matthias Hölzl and Axel Rauschmayer. Software-Intensive Systems and New Computing Paradigms, 5380, Springer, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-89437-7_14⟩
Book sections
istex
hal-00667041v1
|
|||
|
Parallel machines for multiset transformation and their programming style[Research Report] RR-0759, Inria. 1987
Reports
inria-00075793v1
|
||
|
Challenging Questions for the Rationals of Non-Classical Programming LanguagesThe Grand Challenge in Non-Classical Computation, 2005, The King's Manor, York, United Kingdom. pp.93--103
Conference papers
hal-00340491v1
|
||
|
Higher-order Chemical Programming StyleUnconventional Programming Paradigms, Sep 2004, Mont Saint-Michel
Conference papers
inria-00000941v1
|
||
|
Gamma and the chemical reaction model: fifteen years afterMultiset Processing, Aug 2000, Curtea de Arges, Romania
Conference papers
inria-00000949v1
|
||
|
The design and building of ENCHERE,a distributed electronic marketing system[Research Report] RR-0343, Inria. 1984
Reports
inria-00076214v1
|
||
|
Implementing atomic rendezvous within a transactional frameworkEighth Symposium on Reliable Distributed Systems, 1989, Seattle, United States. pp.119-128
Conference papers
inria-00436003v1
|
||
Developing Autonomic and Secure Virtual Organisations with Chemical ProgrammingThe 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), ENS-Lyon, Nov 2009, Lyon, France
Conference papers
inria-00409502v1
|
|||
|
Towards Grid Chemical Coordination (short paper)Symposium on Applied Computing, Apr 2006, Dijon
Conference papers
inria-00000939v1
|
||
|
A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid MultisetsFirst International Workshop on New Developments in Computational Models, Jul 2005, Lisbon
Conference papers
inria-00000943v1
|
||
|
From high level programming model to FPGA machines[Research Report] RR-2240, INRIA. 1994
Reports
inria-00074430v1
|
||
Unconventional Programming Paradigms (UPP'04)Springer Verlag, pp.n.a., 2005
Books
hal-00343090v1
|
- 1
- 2