Le système logique parallèle PEPSys

@inproceedings{Syre1988LeSL,
  title={Le syst{\`e}me logique parall{\`e}le PEPSys},
  author={Jean-Claude Syre and Philippe Robert and Jacques Chassin de Kergommeaux},
  booktitle={SPLT},
  year={1988}
}