LIFO, A. Merlin et G. Hains

1°) Machines abstraites pour BSlambda, BSML:

- Autour de la SECD concevoir table de transition
- décrire compilation BSML
- étudier les coûts à ce niveau
  < SECD, SECD, SECD >
  -> compter les étapes à la BSP
  -> corréler avec le modèle plus flou de BSML
  -> confirmé avec benchmark
- Puis autour de la CAM: gestion plus "dure" des variables

2°) Algèbre de processus BSP

Processus locaux:  CCS sans récursion 
Processus globaux: CCS sans récursion, vecteur parallèle énuméré 

Règles:
 - duochrone: synchrone de deux processus dans un vecteur parallèle
 - isochrone: échange avec synchronisation globale 

Terme fini BSPA
=(Règles d'expansion)=>
Forme sérielle BSPA
=(Règles de coûts)=>
Semi-anneau idempotent

L'algèbre de coût: le coût de calcul asychrone ne peut être
"globalisé" que s'il est entre deux barrières. 

Deux processus bissimilaires fortement ont le même coût.

Exemples: ordonnancement de deux processus data-parallèles sur la même
machine.