Observation of Software for Distributed Systems with RCL

Authors:
Alexander I. Tomlinson;Vijay K. Garg
Affiliations:
-;-
Venue:
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Year:
1995

Citing 0
Cited 2

Methods for Observing Global Properties in Distributed Systems

IEEE Parallel & Distributed Technology: Systems & Technology
Detecting Temporal Logic Predicates on the Happened-Before Model

IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract