Sciweavers

13752 search results - page 214 / 2751
» Parallel and Distributed Haskells
Sort
View
CONCUR
1998
Springer
15 years 10 months ago
Detecting Deadlocks in Concurrent Systems
Lisbeth Fajstrup, Eric Goubault, Martin Rauß...
CONCUR
1998
Springer
15 years 10 months ago
A Categorical Axiomatics for Bisimulation
Gian Luca Cattani, John Power, Glynn Winskel
SPAA
1998
ACM
15 years 10 months ago
Thread Scheduling for Multiprogrammed Multiprocessors
Nimar S. Arora, Robert D. Blumofe, C. Greg Plaxton