Jean-Pierre Banâtre

Christine Morin

Proceedings of the Dependable and Historic Computing, 2011

2009

Chemical Programming of Future Service-oriented Architectures.

[BibT_eX]

[DOI]

J. Softw., 2009

Developing Autonomic and Secure Virtual Organisations with Chemical Programming.

[BibT_eX]

[DOI]

Alvaro E. Arenas

Proceedings of the Stabilization, 2009

2008

The Chemical Reaction Model Recent Developments and Prospects.

[BibT_eX]

[DOI]

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Service Orchestration Using the Chemical Metaphor.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

A Chemical Interpretation of GSML Programs.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Grid and Cooperative Computing, 2008

2007

Programming Self-Organizing Systems with the Higher-Order Chemical Language.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2007

Towards "Chemical" Desktop Grids.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on e-Science and Grid Computing, 2007

2006

Generalised multisets for chemical programming.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2006

Challenging Questions for the Rationale of Non-Classical Programming Languages.

[BibT_eX]

Int. J. Unconv. Comput., 2006

Towards chemical coordination for grids.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005

A Generalized Higher-Order Chemical Computation Model.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Developments in Computational Models, 2005

2004

Principles of Chemical Programming.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Rule-Based Programming, 2004

Higher-Order Chemical Programming Style.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Programming Paradigms, 2004

Chemical Specification of Autonomic Systems.

[BibT_eX]

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

2001

Architecture-based Exception Handling.

[BibT_eX]

[DOI]

Valérie Issarny

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

2000

Gamma and the Chemical Reaction Model: Fifteen Years After.

[BibT_eX]

[DOI]

Proceedings of the Multiset Processing, 2000

1996

Parallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, First International Conference, 1996

1995

An approach to information security in distributed systems.

[BibT_eX]

[DOI]

Ciarán Bryce

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

1994

Compile-Time Detection of Information Flow in Sequential Programs.

[BibT_eX]

[DOI]

Ciarán Bryce

Proceedings of the Computer Security, 1994

1993

Models and Paradigms for Distributed Systems Structuring - Introduction.

[BibT_eX]

Sacha Krakowiak

ACM SIGOPS Oper. Syst. Rev., 1993

Programming by Multiset Transformation.

[BibT_eX]

[DOI]

Commun. ACM, 1993

Subsidiaries and start-up Spin-off companies of Inria.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Computer Safety, 1993

Information Flow Control in a Parallel Language Framework.

[BibT_eX]

[DOI]

Ciarán Bryce

Proceedings of the 6th IEEE Computer Security Foundations Workshop, 1993

1991

Introduction to Gamma.

[BibT_eX]

[DOI]

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

Parallel Program Design.

[BibT_eX]

[DOI]

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

Fast Stable Storage as a Basis for Fault-Tolerant Architectures.

[BibT_eX]

[DOI]

Proceedings of the Operating Systems of the 90s and Beyond, International Workshop, 1991

Prospects for functional programming in software engineering.

[BibT_eX]

Simon B. Jones

Research reports ESPRIT / project 302 1, Springer, ISBN: 978-3-540-53852-3, 1991

1990

The GAMMA Model and Its Discipline of Programming.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1990

1989

Implementing Atomic Rendevous within a Transactional Framework.

[BibT_eX]

[DOI]

Christine Morin

Proceedings of the Eigthth Symposium on Reliable Distributed Systems, 1989

Architecture of fault-tolerant multiprocessor workstations.

[BibT_eX]

[DOI]

Gilles Muller

Proceedings of the Second Workshop On Workstation Operating Systems, 1989

Chemical Reaction as a Computational Model.

[BibT_eX]

Proceedings of the Functional Programming, 1989

1988

Parallel Machines for Multiset Transformation and their Programming Style / Parallele Maschinen für die Multimengen-Transformation und deren Programmierstil.

[BibT_eX]

[DOI]

Anne Coutant

it Inf. Technol., 1988

A parallel machine for multiset transformation and its programming style.

[BibT_eX]

[DOI]

Anne Coutant

Future Gener. Comput. Syst., 1988

Fragmented and replicated objects in the GOTHIC distributed system.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, 1988

Ensuring Data Security and Integrity with a Fast Stable Storage.

[BibT_eX]

[DOI]

Gilles Muller

Proceedings of the Fourth International Conference on Data Engineering, 1988

1986

The Design and Building of Enchère, a Distributed Electronic Marketing System.

[BibT_eX]

[DOI]

Commun. ACM, 1986

Some aspects of the GOTHIC system.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

The Concept of Multi-function: A General Structuring Tool for Distributed Operating System.

[BibT_eX]

Florimond Ployette

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

1983

Construction of a Distributed System Supporting Atomic Transactions.

[BibT_eX]

Florimond Ployette

Proceedings of the Third Symposium on Reliability in Distributed Software and Database Systems, 1983

A Cooperation Scheme for Parallel Compilation.

[BibT_eX]

Proceedings of the Method and tools for compiler construction, 1983

1982

A Network for the Detection of Words in Continuous Speech.

[BibT_eX]

[DOI]

Patrice Frison

Patrice Quinton

Acta Informatica, 1982

Parallélisme et programmation fonctionnelle à la Backus.

[BibT_eX]

Proceedings of the SPLT'82, 1982

Constructing parallel programs and their termination proof.

[BibT_eX]

Patrice Quinton

Proceedings of the International Conference on Parallel Processing, 1982

A systolic algorithm for connected word recognition.

[BibT_eX]

[DOI]

Patrice Frison

Patrice Quinton

Proceedings of the IEEE International Conference on Acoustics, 1982

1981

A Multiprocessing Approach to Compile-Time Symbol Resolution.

[BibT_eX]

[DOI]

F. André

Jean-Paul Routeau

ACM Trans. Program. Lang. Syst., 1981

Parallel structures for vector processing.

[BibT_eX]

[DOI]

Proceedings of the CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, 1981

1980

Kensur: An Architecture Oriented Towards Programming Languages Translation.

[BibT_eX]

[DOI]

Proceedings of the 7th Annual Symposium on Computer Architecture, 1980

1979

An Event-Driven Compiling Technique.

[BibT_eX]

[DOI]

Jean-Paul Routeau

Laurent Trilling

Commun. ACM, 1979

Language Features for Description of Cooperating Processes.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Software Engineering, 1979

1978

Reliable Resource Allocation Between Unreliable Processes.

[BibT_eX]

[DOI]

Santosh K. Shrivastava

IEEE Trans. Software Eng., 1978

1977

Producing Optimised Code for Coercions.

[BibT_eX]

[DOI]