Sciweavers

17582 search results - page 331 / 3517
» From Distributed Sequential Computing to Distributed Paralle...
Sort
View
PODC
1989
ACM
15 years 8 months ago
A Structural Induction Theorem for Processes
Robert P. Kurshan, Kenneth L. McMillan