Sciweavers

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