OPEN/CAESAR : an open software architecture for verification, simulation and testing

Theme 1 - Reseaux et systemes. Projet VASYAvailable from INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1998 n.3352 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Variational approach of a magnetic shaping problem

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 n.1352 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Document description language INTERPRESS

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 F, issue : a.1990 n.120 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Elimination of redundancy from functions defined by schemes

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 n.1429 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

On infinite loops in logic programming

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

On random walks arising in queing systems: ergodicity and transience via quadratic forms as Lyapounov functions. Part 1

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

GOTHIC memory management : a multiprocessor shared single level store

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 n.1202 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Conditional rewrite rules as an algebraic semantics of processes

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 n.1226 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Enumeration of bordered words

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

A simple taxonomy for distributed mutual exclusion algorithms

Parution du meme article dans deux fascicules differents : n 1343 en decembre 1990 et n 1362 en 1991SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 n.1362; 14802 E, issue : a.1990 n.1343 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc