A comparison of monoprogramming and multiprogramming with static partitioned memory
A fast method of deadlock avoidance
An implementation of the fast Givens transformations on a MIMD computer
Calcul réparti d'un extrémum et du routage associé dans un réseau quelconque
Efficient distributed algorithms by using the archimedean time assumption
Efficient FORTRAN implementation of the gaussian elimination and Householder reduction algorithms on the IBM 3090 vector multiprocessor
Fairness and regularity for SCCS processes
Méthode axiomatique sur les propriétés de fatalité des programmes parallèles
Modélisation d'une architecture parallèle pour le traitement d'images
Modelling the dynamical behaviour of computer systems
Non-deterministic behaviour of deterministic computer
Nonserial dynamic programming for optimal register assignment
Note sur la sémantique des structures de contrôle
On Lamport's comparison between linear and branching time temporal logic
On schemata and systems for parallel algorithms
On the solution of optimal performance of page storage hierarchies with an independent reference string
Parallel computation on 2-3-trees
Résolution systolique de systèmes linéaires denses
Sémantique des processus communicants
Sur l'élimination itérative des situations de blocage dans un système