Sciweavers

18466 search results - page 54 / 3694
» On distributed systems and CSCL
Sort
View
CONCUR
1995
Springer
14 years 16 days ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen
JSSPP
1995
Springer
14 years 15 days ago
Job Management Requirements for NAS Parallel Systems and Clusters
William Saphir, Leigh Ann Tanner, Bernard Traversa...
REX
1991
14 years 14 days ago
Timed Transition Systems
Thomas A. Henzinger, Zohar Manna, Amir Pnueli