Type System for a Safe Execution of Parallel Programs in BSML - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

Type System for a Safe Execution of Parallel Programs in BSML

Fichier non déposé

Dates et versions

hal-00605566 , version 1 (02-07-2011)

Identifiants

Citer

Frédéric Gava, Louis Gesbert, Frédéric Loulergue. Type System for a Safe Execution of Parallel Programs in BSML. HLPP, Sep 2011, Japan. pp.17-34, ⟨10.1145/2034751.2034759⟩. ⟨hal-00605566⟩
90 Consultations
0 Téléchargements

Altmetric

Partager

More