Sciweavers

17082 search results - page 103 / 3417
» Abstractions for Mobile Computation
Sort
View
102
Voted
CONCUR
1994
Springer
15 years 8 months ago
Testing-Based Abstractions for Value-Passing Systems
Rance Cleaveland, James Riely