Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

33 Results
Author: personID (integer) : 830960
Image document

Distributed system structuring using multi-functions

Jean-Pierre Banâtre , Michel Banâtre , Florimond Ployette
[Research Report] RR-0694, Inria. 1987
Reports inria-00075859v1
Image document

Chemical Specification of Autonomic Systems

Jean-Pierre Banâtre , Pascal Fradet , Yann Radenac
13th International Conference on Intelligent and Adaptive Systems and Software Engineering, Jul 2004, Nice
Conference papers inria-00000948v1
Image document

Developing Secure Chemical Programs with Aspects

Alvaro Arenas , Jean-Pierre Banâtre , Thierry Priol
[Research Report] 2008, pp.12
Reports inria-00376800v1
Image document

Challenging Questions for the Rationale of Non-Classical Programming Languages

Olivier Michel , Jean-Pierre Banâtre , Pascal Fradet , Jean-Louis Giavitto
International Journal of Unconventional Computing, 2006, 2, pp.337--347
Journal articles hal-00340128v1
Image document

Generalized Multisets for Chemical Programming

Jean-Pierre Banâtre , Pascal Fradet , Yann Radenac
[Research Report] RR-5743, INRIA. 2005, pp.26
Reports inria-00070276v1
Image document

A security proof system for networks of communicating processes

Jean-Pierre Banâtre , Ciaran Bryce
[Research Report] RR-2042, INRIA. 1993
Reports inria-00074629v1

Classical Coordination Mechanisms in the Chemical Model

Pascal Fradet , Jean-Pierre Banâtre , Yann Radenac
Yves 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
Image document

Private-by-Design: Towards Personal Local Clouds

Roberto G. Cascella , Christine Morin , Jean-Pierre Banâtre , Thierry Priol
[Research Report] RR-8634, Inria Rennes; INRIA. 2014
Reports hal-01087558v1

Chemical Programming of Future Service-oriented Architectures

Jean-Pierre Banâtre , Thierry Priol
Journal of Software, 2009, 4 (7), pp.738-746
Journal articles inria-00423641v1
Image document

Principles of Chemical Programming

Jean-Pierre Banâtre , Pascal Fradet , Yann Radenac
5th International Workshop on Rule-Based Programming, Jun 2004, Aachen
Conference papers inria-00000942v1
Image document

Un algorithme systolique pour la reconnaissance de mots connectes

Jean-Pierre Banâtre , Patrice Frison , Patrice Quinton
[Rapport de recherche] RR-0148, INRIA. 1982
Reports inria-00076412v1
Image document

Exception handling sequential processes : design, verification and implementation

Jean-Pierre Banâtre , Valérie Issarny
[Research Report] RR-1710, INRIA. 1992
Reports inria-00076947v1
Image document

An active stable storage and its integration in a multiprocessor architecture

Michel Banâtre , Gilles Muller , Jean-Pierre Banâtre
[Research Report] RR-0693, Inria. 1987
Reports inria-00075860v1
Image document

Towards Enforcement of the EU GDPR: Enabling Data Erasure

Subhadeep Sarkar , Jean-Pierre Banâtre , Louis Rilling , Christine Morin
iThings 2018 - 11th IEEE International Conference of Internet of Things, Jul 2018, Halifax, Canada. pp.1-8
Conference papers hal-01824058v1
Image document

Implementing atomic rendez-vous within a transactional framework

Jean-Pierre Banâtre , Michel Banâtre , Christine Morin
[Research Report] RR-1092, Inria. 1989
Reports inria-00075467v1

Fault Tolerant Autonomic Computing Systems in a Chemical Setting

Jean-Pierre Banâtre , Christine Morin , Thierry Priol
Jones, 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 Programs

Xingwu Liu , Yann Radenac , Jean-Pierre Banâtre , Thierry Priol , Zhiwei Xu et al.
Proceedings 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
Image document

An overview of the gothic distributed operating system

Jean-Pierre Banâtre , Michel Banâtre , Florimond Ployette
[Research Report] RR-0504, Inria. 1986
Reports inria-00076050v1

The Chemical Reaction Model - Recent Developments and Prospects

Pascal Fradet , Jean-Pierre Banâtre , Yann Radenac
Martin 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
Image document

Parallel machines for multiset transformation and their programming style

Jean-Pierre Banâtre , Anne Coutant , Daniel Le Métayer
[Research Report] RR-0759, Inria. 1987
Reports inria-00075793v1
Image document

Challenging Questions for the Rationals of Non-Classical Programming Languages

Olivier Michel , Jean-Pierre Banâtre , Pascal Fradet , Jean-Louis Giavitto
The Grand Challenge in Non-Classical Computation, 2005, The King's Manor, York, United Kingdom. pp.93--103
Conference papers hal-00340491v1
Image document

Higher-order Chemical Programming Style

Jean-Pierre Banâtre , Pascal Fradet , Yann Radenac
Unconventional Programming Paradigms, Sep 2004, Mont Saint-Michel
Conference papers inria-00000941v1
Image document

Gamma and the chemical reaction model: fifteen years after

Jean-Pierre Banâtre , Pascal Fradet , Daniel Le Métayer
Multiset Processing, Aug 2000, Curtea de Arges, Romania
Conference papers inria-00000949v1
Image document

The design and building of ENCHERE,a distributed electronic marketing system

Jean-Pierre Banâtre , Michel Banâtre , Guy Lapalme , Florimond Ployette
[Research Report] RR-0343, Inria. 1984
Reports inria-00076214v1
Image document

Implementing atomic rendezvous within a transactional framework

Jean-Pierre Banâtre , Michel Banâtre , Christine Morin
Eighth Symposium on Reliable Distributed Systems, 1989, Seattle, United States. pp.119-128
Conference papers inria-00436003v1

Developing Autonomic and Secure Virtual Organisations with Chemical Programming

Alvaro Arenas , Jean-Pierre Banâtre , Thierry Priol
The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), ENS-Lyon, Nov 2009, Lyon, France
Conference papers inria-00409502v1
Image document

Towards Grid Chemical Coordination (short paper)

Jean-Pierre Banâtre , Pascal Fradet , Yann Radenac
Symposium on Applied Computing, Apr 2006, Dijon
Conference papers inria-00000939v1
Image document

A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid Multisets

Jean-Pierre Banâtre , Pascal Fradet , Yann Radenac
First International Workshop on New Developments in Computational Models, Jul 2005, Lisbon
Conference papers inria-00000943v1
Image document

From high level programming model to FPGA machines

Jean-Pierre Banâtre , Dominique Lavenier , Marc Vieillot
[Research Report] RR-2240, INRIA. 1994
Reports inria-00074430v1

Unconventional Programming Paradigms (UPP'04)

Jean-Pierre Banâtre , Pascal Fradet , Jean-Louis Giavitto , Olivier Michel
Springer Verlag, pp.n.a., 2005
Books hal-00343090v1