Sciweavers

3660 search results - page 25 / 732
» Parallel Program Archetypes
Sort
View
130
Voted
IPPS
2000
IEEE
15 years 10 months ago
Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification
Dominique Cansell, Dominique Méry, Christop...