ni les races, ni les générations, ni les frontières conventionnelles déterminant les limites géographiques de chaque continent et pays ne peuvent arrêter le pouvoir extensif des symbolisations différentes, dont les prémices naissent d’une imagination profonde et fertile. le symbole reste toujours au seuil d’un univers très différent de ce que l’on reçoit des réalités quotidiennes et visibles ; ...

Définition 1.1. Soit A un ensemble. Une loi interne sur A est une fonction de A×A dans A. Exemple 1.1. La fonction vide est une loi interne sur l’ensemble vide. Exemple 1.2. La fonction qui à la paire (1, 1) associe 1 est une loi interne sur le singleton {1}. Exemple 1.3. L’addition + et le produit · sont des lois internes pour N, Z, Q, ou R. Exemple 1.4. La soustraction − est une loi interne p...

We present a skeleton-based language which leads to portable and cost-predictable implementations on MIMD computers. The compilation process is described as a series of program transformations. We focus in this paper on the step concerning the distribution choice. The problem of automatic mapping of input vectors onto processors is addressed using symbolic cost evaluation. Source language restr...

We study the veri cation of secrecy and authenticity properties for cryptographic protocols which rely on symmetric shared keys. The veri cation can be reduced to check whether a certain parallel program which models the protocol and the speci cation can reach an erroneous state while interacting with the environment. Assuming nite principals, we present a simple decision procedure for the reac...