SC++. Programmation pseudo-parallèle orientée objet, modélisation, vérification, Edition 1998

Propose un concept qui systématise et simplifie le développement d'applications monoprocesseur ou celui des diverses parties situées dans chacun des processeurs qui participent à une application répartie globale. Ce concept original est basé sur un nouveau langage, SC++, qui consiste en une extension très restreinte de C++.