Information Processing Letters · 1983 · 303 citations · 2 references
ComputingComputer EngineeringComputer ScienceAlgorithmsDistributed SystemsTheory Of ComputationDistributed AlgorithmsDistributed ComputingTermination AnalysisLoop TerminationProgram TerminationTermination DetectionTermination Of Concurrent SystemsTermination Proofs
2
Distributed State Exploration for Protocol Validation
Mohamed G. Gouda · 1981 · 13 citations