Sciweavers

13752 search results - page 118 / 2751
» Parallel and Distributed Haskells
Sort
View
109
Voted
IPPS
1999
IEEE
15 years 11 months ago
From a Specification to an Equivalence Proof in Object-Oriented Parallelism
Isabelle Attali, Denis Caromel, Sylvain Lippi