Sciweavers

17582 search results - page 126 / 3517
» From Distributed Sequential Computing to Distributed Paralle...
Sort
View
111
Voted
CONCUR
1990
Springer
15 years 10 months ago
Proving Termination of Communicating Programs
Pawel Paczkowski
ICPP
1990
IEEE
15 years 10 months ago
Transient Models of Bus-Based Multiprocessors
Anastasios A. Economides, Michel Dubois