Sciweavers

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