Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme

Ferroudja Cherief. Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme. PhD thesis, Grenoble Institute of Technology, France, 1992. [doi]

Abstract

Abstract is missing.