Sciweavers

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